ada/RecordFlux
0
0
Fork 0
mirror of https://github.com/AdaCore/RecordFlux.git synced 2026-02-12 13:01:56 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
issue_8
RecordFlux/.github
History
Tobias Reiher e19fb317b9 Use SPARK Pro 23.0 
Ref. #1256
2022-11-30 10:42:37 +01:00
..
actions
Add action for installing GNAT Pro
2022-02-11 15:26:42 +01:00
ISSUE_TEMPLATE
Add use-case section to design decision
2021-12-02 17:47:49 +01:00
workflows
Use SPARK Pro 23.0
2022-11-30 10:42:37 +01:00