Skip to content
Snippets Groups Projects
Commit 7b0e4740 authored by Samuel Hym's avatar Samuel Hym
Browse files

CI: Update the debian version

Follow the update of the Coq docker image to Debian Bullseye
Use cabal exec which to find the path to the executable, since cabal has
been updated
parent 8259a690
No related branches found
No related tags found
No related merge requests found
Pipeline #17145 passed