2 Commits

Author SHA1 Message Date
Simon Wright
1c854eab4d CI runs on latest OSs
* .github/workflows/main.yml:
    (gnat_version): removed.
    (gprbuild_version): removed.
    (actions/checkout): v3.
    (project/setup-alire): v3.
    (toolchain): specify gnat_native before gprbuild, to avoid picking
      mismatched versions.
2024-09-03 14:04:46 +01:00
Fabien Chouteau
6eb0b591bf Add GitHub CI workflow 2022-02-28 18:23:52 +01:00