Merge pull request #439 from proux01/ci-820

[CI] Add Coq 8.20
math-comp · Aug 28, 2024 · 449a797 · 449a797
2 parents 1c6f7e1 + 8d6c997
commit 449a797
Show file tree

Hide file tree

Showing 7 changed files with 2,055 additions and 238 deletions.
diff --git a/.github/workflows/nix-action-coq-8.18.yml b/.github/workflows/nix-action-coq-8.18.yml
diff --git a/.github/workflows/nix-action-coq-8.19.yml b/.github/workflows/nix-action-coq-8.19.yml
diff --git a/.github/workflows/nix-action-coq-8.20.yml b/.github/workflows/nix-action-coq-8.20.yml