Use Coq 8.10.1 for CI (!1) · Merge requests · Iris / ReLoC · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/coq8.10.1 into master 5 years ago

All threads resolved!

Edited 5 years ago by Robbert Krebbers

Activity

Robbert Krebbers changed title from Use Coq 8.10.1 for CI. to Use Coq 8.10.1 for CI 5 years ago

changed title from Use Coq 8.10.1 for CI. to Use Coq 8.10.1 for CI
Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Robbert Krebbers
Last reply by Robbert Krebbers 5 years ago

Robbert Krebbers added 1 commit 5 years ago

added 1 commit

2b35f0f9 - Use Coq 8.10.1 for CI.

Compare with previous version

Robbert Krebbers resolved all threads 5 years ago

resolved all threads

Ralf Jung mentioned in commit 5 years ago

mentioned in commit 75b6af9f

Ralf Jung merged 5 years ago

merged

Please register or sign in to reply