source: git/.github/workflows @ 886fb4

Name Size Rev Age Author Last Change
ci-sage.yml 20.5 KB 886fb4   2 years mkoeppe .github/workflows/ci-sage.yml: Build with target ticket #31642
runtests.yml 2.4 KB 9bebec   2 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.