search

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Apache License 2.0
104 stars 6 forks source link

Runtime compatibility check fails in CI #1124

Closed treiher closed 2 years ago

treiher commented 2 years ago

The runtime compatibility check fails due to the use of FSF GNAT 12 instead of FSF GNAT 11. FSF GNAT 12 is not yet supported by the runtime (cf. Componolit/ada-runtime#84).

https://github.com/Componolit/RecordFlux/runs/7556239586?check_suite_focus=true