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

Triggered via pull request January 2, 2025 14:45
@adacore-botadacore-bot
synchronize #478
slides/273_subprogram_contracts-code-snippets-should-use-better-names-than-single-characters
Status Success
Total duration 9m 21s
Artifacts 19

main.yaml

on: pull_request
List-Courses
5s
List-Courses
Labs-Slides
1m 2s
Labs-Slides
Python scripts black lint check
7s
Python scripts black lint check
Contrib scripts check
1m 12s
Contrib scripts check
Matrix: Labs
Matrix: Slides
Fit to window
Zoom out
Zoom in

Annotations

22 warnings
List-Courses
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Python scripts black lint check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Labs (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Labs-Slides
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Contrib scripts check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (advanced_exception_analysis)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnat_studio/course.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnat_studio)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnat_project_facility/standard_course.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnat_project_facility)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnatdas)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (toolchain)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (fundamentals_of_ada/standard_course.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (static_analysis_via_compiler)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (static_analysis_via_compiler)
Docker pull failed with exit code 1, back off 3.459 seconds before retry.
Slides (fundamentals_of_ada/opat.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (spark_for_ada_programmers/course.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (fundamentals_of_ada/advanced.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (toolchain/gnat_toolchain.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnatsas)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (spark_for_ada_programmers)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (fundamentals_of_ada)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
Advanced Exception Analysis Expired
452 KB
sha256:499d81c417a0d2ca0f73770b5b28352e39020f1d4ad78ebefcc3d837f2b51e6b
Fundamentals Of Ada Expired
25 MB
sha256:40d6980c0b5e787b2fce883748d4f0c9c76b038d20ab76a522254e901bd11d0e
Fundamentals Of Ada - Advanced Expired
2.18 MB
sha256:51a452cbb69f02214e0ecfb19bb3e6e33a6b0a56fe7223174042663b4af5a9a5
Fundamentals Of Ada - Opat Expired
3.93 MB
sha256:49b09d93c35cdcfb755ebca458577c62f99f8d4b6cd157df4d117b2379c6a344
Fundamentals Of Ada - Standard Course Expired
3.8 MB
sha256:ed3b316210036cadf051050af7cceaee322651b4e2c753ef39956a206ab9b6f5
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:91d2d58486fdf956ccdeda57b61d5e2eb54ea62ca782e5ecfd0e81c2b2e079e8
GNAT Project Facility Expired
1.76 MB
sha256:2018ed676de54f0791f53f496ff792b5204d3433e60c9a130538b967f3b2b76e
GNAT Project Facility - Standard Course Expired
519 KB
sha256:cb3d39593168fbdaf1555e28ba9dd837ef179476894585237d0c23d620bbf712
GNAT Project Facility labs Expired
870 KB
sha256:525d6293f140bcdd5f63a93cf6d30874cd203e630e9c86a5aed917154fceb68c
GNAT SAS labs Expired
876 KB
sha256:29ed9dab7b4a47cbb194d44521b074de2d746afd5ff0a20d941d9ee4dab422bc
GNAT Static Analysis Suite Expired
5.03 MB
sha256:ca3cb4831907880b43ffb5cece97569b46ec45af3c2aeca0074eb77576e5f5a6
GNAT Studio Expired
2.78 MB
sha256:0406e0ff53e2726006fc3fda900cad2f88200232ab3d12996736055740f73b78
GNAT Studio - Course Expired
1.64 MB
sha256:f73caffef0adea70f98757ec222c9df75bb9b5b10f3d0e1e49791e60943551fa
GNAT Toolchain Expired
1.04 MB
sha256:6ac0d205638f0b1905c3c513a777802d62a539baa146546caaed96c87843eb3a
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:1deac5d70114fe231bf791977636d8d6b665714dbdd54716bce370a5b68c07ce
Mini Project - Mini Cinema Expired
331 KB
sha256:5094f090aea5c5e1a8e4f08262ac1d71d6a85336fee2f1c7df90af0a1d1ff9a9
SPARK Expired
7.92 MB
sha256:e03e3d3b03ceb8c3fe8ea76f303bb806298f92c7ccd5b15637d0cbfbaf0282b9
SPARK - Course Expired
3.38 MB
sha256:b47f85df25b620960260257c8d51c388cb13fc6331b08b8c0f2ae83b7275abbe
Static Analysis Via Compiler Expired
838 KB
sha256:818892acdf4b4bed412b108e5192e6951a97b3cbfe021233c41a74889f3f8bed