Skip to content

Merge branch 'remove-unused-script' into 'master' #2471

Merge branch 'remove-unused-script' into 'master'

Merge branch 'remove-unused-script' into 'master' #2471

Slides (toolchain/gnat_toolchain.txt)

succeeded Mar 14, 2025 in 1m 33s
Set up job
0s
Initialize containers
37s
Run actions/checkout@v4
1s
Check source is updated with prelude
0s
Prepare slides environment
0s
GNAT Toolchain - Gnat Toolchain - Build
52s
GNAT Toolchain - Gnat Toolchain - Package and upload
0s
Post Run actions/checkout@v4
1s
Stop containers
0s
Complete job
0s