ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
why3/.github/workflows
History
Johannes Kanig bc2749b358 Use correct runners for github builds 
For eng/spark/spark2014#854
2025-05-20 09:27:22 +09:00
..
workflow.yml
Use correct runners for github builds
2025-05-20 09:27:22 +09:00