nichkara/grl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity
7 Commits 1 Branch 0 Tags
2dcab4f1ea3946efa8ae6c7915fc32ae3c732f50
Commit Graph

3 Commits

Author SHA1 Message Date
Nina Chlóe Kassandra Reiß 2dcab4f1ea Serve alire to CI on x86_64 systems
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 47s
Details
2026-06-11 15:38:27 +02:00
Nina Chlóe Kassandra Reiß 970aaad697 Verify in CI using gnatprove 2026-06-11 15:23:11 +02:00
Nina Chlóe Kassandra Reiß 56799f0c23 Add verification workflow
Alire installation and checkup / build (ubuntu-20.04) (push) Successful in 1m32s
Details
2026-06-10 11:21:48 +02:00