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

Snippets Groups Projects

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

Activity

Robbert Krebbers added 1 commit 5 years ago
added 1 commit

d5d512c3 - Use Coq 8.10.1 for CI

Compare with previous version
Robbert Krebbers @robbertkrebbers · 5 years ago

Author Owner

Also removed the ocaml version.
Ralf Jung mentioned in commit 1cd5df3d 5 years ago

mentioned in commit 1cd5df3d
Ralf Jung merged 5 years ago

merged

Please register or sign in to reply