source: git/.github/workflows @ 4f8fd1d

spielwiese
Name Size Rev Age Author Last Change
../
ci-sage.yml 20.9 KB 3bb86e   2 years mkoeppe .github/workflows/ci-sage.yml: Cancel previous runs of this workflow ...
lint.yml 642 bytes 4f8fd1d   18 months chapoton trying to add a codespell linter for kernel/
runtests.yml 2.4 KB 9bebec   3 years max Update GitHub Action CI tests - switch to FLINT 2.7, taken from ...
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.