Skip to content

Merge branch 'slides/191-break-065_discriminated_records-into-chapter… #2161

Merge branch 'slides/191-break-065_discriminated_records-into-chapter…

Merge branch 'slides/191-break-065_discriminated_records-into-chapter… #2161

Triggered via push December 19, 2024 16:45
Status Success
Total duration 9m 20s
Artifacts 19

main.yaml

on: push
List-Courses
3s
List-Courses
Labs-Slides
1m 3s
Labs-Slides
Python scripts black lint check
7s
Python scripts black lint check
Contrib scripts check
1m 18s
Contrib scripts check
Matrix: Labs
Matrix: Slides
Fit to window
Zoom out
Zoom in

Annotations

21 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 (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
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 (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_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 (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 (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 (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 (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 (gnatdas)
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:b3edbb35abfeeee1996f8b3575386fa62c6014753e0e0563e0ad99e192f08a40
Fundamentals Of Ada Expired
25 MB
sha256:6b745d6195cf51a6390e49dea802ae27b8369057672fc61b148819d88b441a58
Fundamentals Of Ada - Advanced Expired
2.18 MB
sha256:8370a3eed431720525fc418ba65258bf9fbabd31eba5ee3ed349808ad4376f9b
Fundamentals Of Ada - Opat Expired
3.93 MB
sha256:4e8a059b327d38e6b4ffdc16a2d7a4c7d3a2fcdbc9357381ed38ea37350f8e30
Fundamentals Of Ada - Standard Course Expired
3.8 MB
sha256:d7f983785aec07ab040bebae5136411cf60664b6fd167ed307a88377c23b1f5a
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:63fff6cf9f072faa5aba7f18e64db63d325f8e38b7bb94b8676af59778861f96
GNAT Project Facility Expired
1.76 MB
sha256:4829a1fa82bb88316e62fd61c3f9138c785bd8790390478a296c7be2e25d17e7
GNAT Project Facility - Standard Course Expired
519 KB
sha256:941b5e017a554ac1a50f794ce63bd3fd58f74b6dd3f6f3f52ee462533d98a61f
GNAT Project Facility labs Expired
870 KB
sha256:f5f3e3a554a322691a5db3aeef00b73427783fe7e5ea55219be7f116c412b7d2
GNAT SAS labs Expired
876 KB
sha256:cefb134482b1d09c860fe833fbd33d154ea7ab6396e237b0e5b709e1808eb5ae
GNAT Static Analysis Suite Expired
5.03 MB
sha256:1a5b948f4280be582c74e863ccfeb5d5971b50336235f0fa727927359d564630
GNAT Studio Expired
2.78 MB
sha256:04f3150f88679c1c21fe2b981274bffb5bfd912119ada926b15e7bb03eabbbb5
GNAT Studio - Course Expired
1.64 MB
sha256:5f0be4423c1993c95c8e00dbabbdc2215a1b4cc3f1a0bbcc44cd1e15067b14b6
GNAT Toolchain Expired
1.04 MB
sha256:b0a3c00263a0c334f9085ff45cedb23740ecf1ca6ed77bb8e26eefa43b52d06e
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:165bcd4a1fa507e076a7fe1445908c506253aad4fcc52dc6fbb7ab56db89ae8a
Mini Project - Mini Cinema Expired
331 KB
sha256:88083a439dad7a3c3a9497fa751dbe1da6821114adda3762f0615d8882331c02
SPARK Expired
7.92 MB
sha256:3a5ec903bbd03bb558945ef9bf28179520b5ce14f9f25347039b391db8b85acd
SPARK - Course Expired
3.38 MB
sha256:bec096f175adc8ed1f129bc71cf697aa8b835c563cde98d0b9d85f118a431b54
Static Analysis Via Compiler Expired
838 KB
sha256:23476bc0ae1512a3e7aa63c965c2eeb8811b52911cdbb4c6dd4a0dfabdd4226b