source: git/.github/workflows @ b7fca4

spielwiese
Name Size Rev Age Author Last Change
../
ci-sage.yml 20.6 KB b7fca4   2 years mkoeppe .github/workflows/ci-sage.yml: Update Linux platforms
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.