Skip to content

Merge branch 'slides/217-gnatstub_module' into 'master' #2482

Merge branch 'slides/217-gnatstub_module' into 'master'

Merge branch 'slides/217-gnatstub_module' into 'master' #2482

Slides (spark_for_ada_programmers)

succeeded Mar 21, 2025 in 5m 4s
Set up job
1s
Initialize containers
38s
Run actions/checkout@v4
1s
Check source is updated with prelude
0s
Prepare slides environment
0s
SPARK - Build
4m 18s
SPARK - Package and upload
3s
Post Run actions/checkout@v4
0s
Stop containers
0s
Complete job
0s