Skip to content

Remove dependency on GNAT CE when building branch #388

Remove dependency on GNAT CE when building branch

Remove dependency on GNAT CE when building branch #388

Triggered via push March 13, 2024 23:33
Status Success
Total duration 22s
Artifacts

checkin.yml

on: push
Fit to window
Zoom out
Zoom in