Nix CI for bundle 8.20-2.4.0

Drop support for Coq 8.20 #640

Sign in to view logs

Workflow file for this run

.github/workflows/nix-action-8.20-2.4.0.yml at e644a9b

File not found

The workflow file could not be found.