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 #2807

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 #2807

Workflow file for this run

.github/workflows/nix-action-8.14.yml at d1070e5

File not found

The workflow file could not be found.