Skip to content
Snippets Groups Projects
Commit 16b36a17 authored by Ralf Jung's avatar Ralf Jung
Browse files

bump CI to Coq 8.20 (but that has warnings)

parent 95c0a171
No related branches found
No related tags found
No related merge requests found
Pipeline #115172 failed