source: git/.github/workflows/runtests.yml

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @9bebec   3 years max Update GitHub Action CI tests - switch to FLINT 2.7, taken from ... spielwiese
(add) @19763ff   4 years max Add basic GitHub Actions CI tests spielwiese
Note: See TracRevisionLog for help on using the revision log.