Skip to content
CI

Break Type Derivation module into chapters #2153

Sign in to view logs

Break Type Derivation module into chapters

Break Type Derivation module into chapters #2153

Triggered via pull request December 17, 2024 19:54
@adacore-botadacore-bot
synchronize #471
slides/192-break-075_type_derivation-into-chapters
Status Success
Total duration 9m 39s
Artifacts 19

main.yaml

on: pull_request
List-Courses
5s
List-Courses
Labs-Slides
1m 3s
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
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 (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 (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)
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 (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_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 (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 (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/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 (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:f3c77831ba23022bbfae4e1293f91ccac579da7936a42d5efaef3caea61a8590
Fundamentals Of Ada Expired
24.6 MB
sha256:6489cc540bbb7295c35e4d005fc8f618d8c4e553356af938d0c160822f7b73ba
Fundamentals Of Ada - Advanced Expired
2.18 MB
sha256:b58899b593a798ae8431ed60e7b2a2491c2a07c31ffa64520d0c4aabf529f01c
Fundamentals Of Ada - Opat Expired
3.93 MB
sha256:b5555003abb9d79e569f68f045822104fe1afe510e59637c598244c6fe1d09bb
Fundamentals Of Ada - Standard Course Expired
3.8 MB
sha256:ba6ee0533651b278bb1ee1829db869423152be46ab836a85a3040f56e89296ee
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:3c0d167c521c13cf4a4f2ca5be48292bc37d527ff130c9d5c1ddb68a256a3fad
GNAT Project Facility Expired
1.76 MB
sha256:88dd2010e6f950642fefc9440e1e98d02786964e4ea1cc9edd66b75177b10d59
GNAT Project Facility - Standard Course Expired
519 KB
sha256:76c350bca0113dc98e4d4b507c69b5a606526e0ae9a3256979b43e1c936356d0
GNAT Project Facility labs Expired
870 KB
sha256:09570e5453cbfcdeb02d40d1e5bcac3852fc8c076665d6f754b1cd471f1b8b02
GNAT SAS labs Expired
876 KB
sha256:fc0732f57c2b2dc3b3ed4150efa271bc5eee2bcc97a4576cd9fc7ea5f19515e4
GNAT Static Analysis Suite Expired
5.03 MB
sha256:dd2ba5164403d64d3c6481b0ff35982a7f9b6a3213775f555c3e99f5b00bb515
GNAT Studio Expired
2.78 MB
sha256:7ef150bd3fae1f7af6d4ac38af076ccae6d8ff666cb5f6d36d2aa343d98a8b83
GNAT Studio - Course Expired
1.64 MB
sha256:111b6f42cc912d859445832c7509c624ddcbb410281e3fda58db6269b5bf1248
GNAT Toolchain Expired
1.04 MB
sha256:b2a50e30cfd49ba37bd951321ecffcb63463db86f27cd24e531da052f603d7b5
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:c8aee1a35c0837579ee5cc0483370ebe7e9b2bdaa93730b715b56360ee35a1bb
Mini Project - Mini Cinema Expired
331 KB
sha256:edd3b5d33d7c1261c0b86e0b2d639ab7aa7a9f6df7198ca649bd9d58bddf5dbe
SPARK Expired
7.92 MB
sha256:6fc23aca2b5a9971d97c5f572336cb23d5704f22c6fe838405c6c4ed071f0aa6
SPARK - Course Expired
3.38 MB
sha256:0474170eac325552e173ced1a931ad39032010af614a3e39e10ab6887f16511b
Static Analysis Via Compiler Expired
838 KB
sha256:fd68fb38f0ffe86ae97a114d8f4db666ebfb751a6e1ac5ab65e8e3d0e90a2b71