Closed palmskog closed 1 month ago
ci-skip: coq-vst-zlist.2.13 coq-vst.2.14 coq-vst-lib.2.14
Tested on Coq 8.20+rc1, so the Coq release managers guarantee compatibility with soon-to-appear 8.20.0 (under reasonable assumptions). This enables us to test packages that depend on VST on 8.20.
cc: @andrew-appel @mansky1
ci-skip: coq-vst-zlist.2.13 coq-vst.2.14 coq-vst-lib.2.14
Tested on Coq 8.20+rc1, so the Coq release managers guarantee compatibility with soon-to-appear 8.20.0 (under reasonable assumptions). This enables us to test packages that depend on VST on 8.20.
cc: @andrew-appel @mansky1