Skip to content
CI

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

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

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

main.yaml

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

Annotations

21 warnings
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
List-Courses
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_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 (toolchain)
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_studio)
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 (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 (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 (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 (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 (gnatdas)
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 (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:4d49c335bee077c019f144bafe00cb597aa46a5666013790676674ef330aa17b
Fundamentals Of Ada Expired
25 MB
sha256:0130eee5d16576b8b094723985f9d7ba1cb5b40b78b69c134b6730753a74ffd6
Fundamentals Of Ada - Advanced Expired
2.18 MB
sha256:d0ec75d64a820bee92efb1e8c84452ec79b97747584dca7b7b222308861881d2
Fundamentals Of Ada - Opat Expired
3.93 MB
sha256:4f5051d5aefab4d486aa9c53c3ae85b49a4d4b6e181969b1218266a3c1503b16
Fundamentals Of Ada - Standard Course Expired
3.8 MB
sha256:8d81f36c72097be6aeae6472388a669d5b2bde16c76534a4d60ea838270aff71
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:f5f1f4e515ca4b7521e3c58bcb18ee690478427f9fda9c298e29eba9f3394292
GNAT Project Facility Expired
1.76 MB
sha256:b6a2d3b0c4e230054c82fe9955cd8fa6f3a826f4794832d4169f2d1e1eabfd1b
GNAT Project Facility - Standard Course Expired
519 KB
sha256:85384831150d04b93bda060020a40324a3cd12f76dad58735a4546e87b3f72ca
GNAT Project Facility labs Expired
870 KB
sha256:a57d61d11b900005fa91bacf13650edc49dd115c6e1f488a3c858cc8895d0606
GNAT SAS labs Expired
876 KB
sha256:cc7073210b5e0f802aae2f5ae713258a63c0e183c5bccf24b91b0c69147a175e
GNAT Static Analysis Suite Expired
5.03 MB
sha256:2156f6e280af62492a9fddbf4018e7953b9f3eca317225ac415e6e4cf0762b58
GNAT Studio Expired
2.78 MB
sha256:db106aa4de2d3c5f5766906d7cf3e1b39b0c75138fb26c35b52f1d304c9ed749
GNAT Studio - Course Expired
1.64 MB
sha256:967b7934c3c98fefe0d0ebdc915fee3db2fdae3a4c54f367444042834f903a8f
GNAT Toolchain Expired
1.04 MB
sha256:dfaec96dd0d1cd2655449c14b96aaf54f1be922e8bee751db3e9c2f4b967f110
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:588a8dd4b047ffb4ae569ecf132e6da4d6ba602191e696ae13ccf6d04c5f3310
Mini Project - Mini Cinema Expired
331 KB
sha256:1948d80a35a0fb1460cd36987b97a0081c9026f0703a1957132da09c96e9cf8b
SPARK Expired
7.92 MB
sha256:670d669dbfad2f28653374113a622e3c8d24881de8f93fc65fd5c0e90c5755d8
SPARK - Course Expired
3.38 MB
sha256:de8c62e631fc88bdb0a962c0abcae374dec7a7755c021a8059e15d9ea2b43910
Static Analysis Via Compiler Expired
838 KB
sha256:02b5566571492b57a4dd9651d1f3efac6747ef9d1339f4d356a4a8c5a4782af8