Merge pull request #6 from math-comp/fix-ci

Rm outdated CI
math-comp · Dec 4, 2024 · 2bc3c76 · 2bc3c76
2 parents 7d0a3f9 + 6f5acfe
commit 2bc3c76
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 478 deletions.
diff --git a/.github/workflows/nix-action-8.16.yml b/.github/workflows/nix-action-8.16.yml