Skip to content
CI

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

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 #2180

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Labs (ubuntu-latest)
45s
List-Courses
5s
Labs-Slides
1m 2s
Contrib scripts check
1m 12s
Python scripts black lint check
7s
Slides (static_analysis_via_compiler)
1m 16s
Slides (fundamentals_of_ada)
8m 58s
Slides (gnat_project_facility)
1m 40s
Slides (gnat_studio)
1m 21s
Slides (toolchain)
1m 11s
Slides (gnatsas)
2m 44s
Slides (gnatdas)
2m 6s
Slides (spark_for_ada_programmers)
2m 59s
Slides (advanced_exception_analysis)
1m 6s
Slides (fundamentals_of_ada/opat.txt)
2m 11s
Slides (fundamentals_of_ada/standard_course.txt)
2m 9s
Slides (fundamentals_of_ada/advanced.txt)
2m 16s
Slides (gnat_project_facility/standard_course.txt)
1m 35s
Slides (gnat_studio/course.txt)
1m 13s
Slides (toolchain/gnat_toolchain.txt)
1m 14s
Slides (spark_for_ada_programmers/course.txt)
1m 36s
38m 46s