Skip to content
CI

Merge branch '110-low-level-improvements' into 'master' #2017

Sign in to view logs

Merge branch '110-low-level-improvements' into 'master'

Merge branch '110-low-level-improvements' into 'master' #2017

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Contrib scripts check
1m 24s
List-Courses
7s
Labs (ubuntu-latest)
43s
Labs-Slides
1m 17s
Python scripts black lint check
7s
Slides (static_analysis_via_compiler)
1m 13s
Slides (fundamentals_of_ada)
8m 53s
Slides (gnat_project_facility)
2m 24s
Slides (gnat_studio)
1m 19s
Slides (toolchain)
2m 8s
Slides (gnatsas)
2m 18s
Slides (gnatdas)
2m 4s
Slides (spark_for_ada_programmers)
2m 53s
Slides (advanced_exception_analysis)
2m 1s
Slides (fundamentals_of_ada/opat.txt)
2m 7s
Slides (fundamentals_of_ada/standard_course.txt)
2m 5s
Slides (fundamentals_of_ada/advanced.txt)
1m 57s
Slides (gnat_project_facility/standard_course.txt)
1m 19s
Slides (gnat_studio/course.txt)
1m 15s
Slides (toolchain/gnat_toolchain.txt)
2m 4s
Slides (spark_for_ada_programmers/course.txt)
2m 30s
42m 8s