CI: bump Coq version to 8.18 (!323) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Björn Brandenburg requested to merge update-to-Coq-8.18 into master 1 year ago

Activity

Björn Brandenburg assigned to @bbb 1 year ago

assigned to @bbb
Björn Brandenburg added 1 commit 1 year ago
added 1 commit

8ae19a4b - CI: bump Coq version to 8.18

Compare with previous version
Björn Brandenburg enabled an automatic merge when the pipeline for 8ae19a4b succeeds 1 year ago

enabled an automatic merge when the pipeline for 8ae19a4b succeeds
Björn Brandenburg merged 1 year ago

merged

Please register or sign in to reply