Skip to content

Remove dependency on GNAT CE when building branch #387

Remove dependency on GNAT CE when building branch

Remove dependency on GNAT CE when building branch #387

Triggered via pull request March 13, 2024 23:11
@mosteomosteo
synchronize #61
v3-next
Status Success
Total duration 21s
Artifacts

checkin.yml

on: pull_request
Fit to window
Zoom out
Zoom in