Skip to content
CI

Renaming single char vars where it makes sense to do so #2177

Sign in to view logs

Renaming single char vars where it makes sense to do so

Renaming single char vars where it makes sense to do so #2177

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Python scripts black lint check
7s
Labs (ubuntu-latest)
45s
Labs-Slides
1m 2s
List-Courses
7s
Contrib scripts check
1m 17s
Slides (static_analysis_via_compiler)
1m 11s
Slides (fundamentals_of_ada)
9m 4s
Slides (gnat_project_facility)
1m 34s
Slides (gnat_studio)
1m 24s
Slides (toolchain)
1m 12s
Slides (gnatsas)
2m 21s
Slides (gnatdas)
2m 4s
Slides (spark_for_ada_programmers)
2m 53s
Slides (advanced_exception_analysis)
1m 17s
Slides (fundamentals_of_ada/opat.txt)
2m 5s
Slides (fundamentals_of_ada/standard_course.txt)
2m 10s
Slides (fundamentals_of_ada/advanced.txt)
1m 59s
Slides (gnat_project_facility/standard_course.txt)
1m 10s
Slides (gnat_studio/course.txt)
1m 9s
Slides (toolchain/gnat_toolchain.txt)
1m 11s
Slides (spark_for_ada_programmers/course.txt)
1m 32s
37m 34s