Update CI to Coq 8.16 (and 8.15) - Githubissues

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

425 stars 91 forks source link

Update CI to Coq 8.16 (and 8.15) #631

Closed andrew-appel closed 1 year ago

andrew-appel commented 1 year ago

. . . dropping Coq 8.14