Skip to content

Merge branch 'slides/158-break-275_type_contracts-into-chapters' into… #2109

Merge branch 'slides/158-break-275_type_contracts-into-chapters' into…

Merge branch 'slides/158-break-275_type_contracts-into-chapters' into… #2109

Triggered via push December 5, 2024 18:13
Status Success
Total duration 9m 47s
Artifacts 19

main.yaml

on: push
List-Courses
4s
List-Courses
Labs-Slides
1m 5s
Labs-Slides
Python scripts black lint check
10s
Python scripts black lint check
Contrib scripts check
1m 30s
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-Slides
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
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
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 (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 (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 (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 (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 (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 (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 (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 (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 9.761 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:6191465ac0ec00666c0fdd6d2f2918f8315a153efb3cc6dcaaf52e708efb424b
Fundamentals Of Ada Expired
24.9 MB
sha256:e6f479f877f204f602ce08441d3d99e74132e2f5e149bd9e8f40de79443f4fd5
Fundamentals Of Ada - Advanced Expired
2.18 MB
sha256:a05d5557d8cc8dea1802fc5f5740f44b263478389a1995249493c2d2160bbbc8
Fundamentals Of Ada - Opat Expired
3.89 MB
sha256:9540ffa6da49a73e85ec6bb945bbfb79006206615d8c233323b5938f3f1c2c09
Fundamentals Of Ada - Standard Course Expired
3.79 MB
sha256:b275ce97e54eef48ab98019e17bc4ffcdeb06f298fcde97709e3ece0b88a686c
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:659f2ec14a456719a9bf907e2fb7426de0f9047acc73d621bcadd3527f3ef018
GNAT Project Facility Expired
1.76 MB
sha256:803e939a767433d24a03152cb334aa1addcf3cf1a828c1f0acba1e201456157b
GNAT Project Facility - Standard Course Expired
519 KB
sha256:07f4d8149ee5a60742d49911fb62b136aaf87282fc7c3500afb998d33afe1dc7
GNAT Project Facility labs Expired
870 KB
sha256:a1c490f36b08bbb5f08ab4944bbc4d80e855bc1fb0e701262c30b8071718d4ed
GNAT SAS labs Expired
876 KB
sha256:719445e7fffcec1766163a80edcf31545553fc4a9e7c08d0f15d747b139d650a
GNAT Static Analysis Suite Expired
5.03 MB
sha256:c0f26ec7de62629665f1c276178fca37a88e103ea2ab92938c22f536e61c1527
GNAT Studio Expired
2.78 MB
sha256:76deb08281610806cb1bdeb086b92b77d5e6fec2387891b29e683d974df51745
GNAT Studio - Course Expired
1.64 MB
sha256:eaf1ebe30a0b93c58840a46925e78efdfc037adba81df72be1ad3bd16585dd49
GNAT Toolchain Expired
1.04 MB
sha256:7b74dcea1e00ea8fa0c5dc0c9c4feec24ef2f3cb335d3d9683fb09f172f82d9c
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:b2e8aab3447e2e12238a7e9304abf3aa3e4a38f7e2bff827685c9e4fadf962a8
Mini Project - Mini Cinema Expired
331 KB
sha256:d196293103b6935e193591edcb3ff841c76df0cdb452b7fe0daa0a90cab59ae3
SPARK Expired
7.92 MB
sha256:41a946523ab65c601de7b02b61b03b7779dde7cd7a442f3e78ac26019fea0067
SPARK - Course Expired
3.38 MB
sha256:246e1d1e8b942e880e80c476159e052b49aab0abc9d646bba351e43ad62e30fb
Static Analysis Via Compiler Expired
838 KB
sha256:78527b0c6cd8faf941117c96294dd239876bbc6ebf89b9e7d594dc527ec48388