Skip to content
CI

Renaming single var names to something a little more meaningful #2175

Sign in to view logs

Renaming single var names to something a little more meaningful

Renaming single var names to something a little more meaningful #2175

Triggered via pull request December 20, 2024 20:24
@adacore-botadacore-bot
synchronize #477
slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
Status Success
Total duration 9m 28s
Artifacts 19

main.yaml

on: pull_request
List-Courses
3s
List-Courses
Labs-Slides
59s
Labs-Slides
Python scripts black lint check
7s
Python scripts black lint check
Contrib scripts check
1m 20s
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
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 (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 (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 (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 (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
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 (toolchain)
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)
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 (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 (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 (gnatdas)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnatdas)
Docker pull failed with exit code 1, back off 5.074 seconds before retry.
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:50ecfd131e4af4050ffd57d384f343254f527ee2baf2897e195efbb029a6bc8c
Fundamentals Of Ada Expired
25 MB
sha256:d201b51b2e772de52d0f512564d2b4667dd5e1768c1b2ff63c375e927b6f0a17
Fundamentals Of Ada - Advanced Expired
2.18 MB
sha256:a51c8fcea0011246a79a3cf29788464c0d78f4188180fd86408bd2ee4407dfad
Fundamentals Of Ada - Opat Expired
3.93 MB
sha256:7b3f6dd51b23aadedbeb97e2084339df18f4f9f6dbc03a2af1beec0a343c03da
Fundamentals Of Ada - Standard Course Expired
3.8 MB
sha256:58bcfe4d0711ccf8531b5ddc5418dca351818346d43fa9bc73fc96d666a9d3e0
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:c83df699fdd11b2fb2598f29120c52d1b8a9e2daedf21b916a1aad15430fa20b
GNAT Project Facility Expired
1.76 MB
sha256:ec6f1ec139ba753a6abf5abb817f655a8ecb54dcba3bf9fab5b11e60b0ffe5b9
GNAT Project Facility - Standard Course Expired
519 KB
sha256:ab59ea19d12f48bb33776eda4b03be8d40d355cbf61400b00acfb6d70552ce13
GNAT Project Facility labs Expired
870 KB
sha256:17bc87aa59128fba79bf25d513843199386356ef1a7fa9cfddb94f89cda1cb9d
GNAT SAS labs Expired
876 KB
sha256:8ccd1d2159ccd541b23311f87fa57e649eac0a17fc416e053ed52e71bf1c3e27
GNAT Static Analysis Suite Expired
5.03 MB
sha256:502ac87c7ed293d0712b0bef9f8103489b8b47cf1c97f22b4fdd5f93a6e8b2de
GNAT Studio Expired
2.78 MB
sha256:f82a10471f4bfb765b64bd4ff3432a338ffc39955aa2cc164334914c76a9482d
GNAT Studio - Course Expired
1.64 MB
sha256:fde8bc8b63dce3767b42292bc2841351c0a12fb2cc44ba5c8a654c9d243e7501
GNAT Toolchain Expired
1.04 MB
sha256:8be912aa4f6e4ea54acfba2372d8b76a354868b6719f5675c60a6a0a92e0b1a5
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:5b9192f65e629145a4e49c4a4279c34a70e1408393124a4e5671d8a66e5ec5cc
Mini Project - Mini Cinema Expired
331 KB
sha256:623ed19a398c10f67d10193a710c5bf28c863c66a6916221c099cc27b8a49895
SPARK Expired
7.92 MB
sha256:29e7cf3468ca67fdda6a0f8f425720667f5b91e1cb7cce34c20da4b84dbb1573
SPARK - Course Expired
3.38 MB
sha256:e86630ad84808586cbcfe205a8c795d21e3c1a2b46133480b2f775b5c52987a3
Static Analysis Via Compiler Expired
838 KB
sha256:8ee838a7da4e608f1e5a4b18b5ed71cd6cf5fa73e71df6c697f82016426590ef