Skip to content
Nix CI for bundle 8.14

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support #2808

Sign in to view logs

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support #2808

Workflow file for this run

.github/workflows/nix-action-8.14.yml at 63c1ae8

File not found

The workflow file could not be found.