Skip to content

Slides/157 break 273 subprogram contracts into chapters #2129

Slides/157 break 273 subprogram contracts into chapters

Slides/157 break 273 subprogram contracts into chapters #2129

Triggered via pull request December 9, 2024 17:18
Status Success
Total duration 9m 33s
Artifacts 19

main.yaml

on: pull_request
List-Courses
6s
List-Courses
Labs-Slides
1m 6s
Labs-Slides
Python scripts black lint check
7s
Python scripts black lint check
Contrib scripts check
1m 14s
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 (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 (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
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 (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 (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/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 (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 (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:ad55d07925ed2cf832b9eaf6d5f00383fd7a4dfac414ea62d61890a844f3f7f5
Fundamentals Of Ada Expired
24.9 MB
sha256:9bbabceb9b88a5ac07ce5153f0eb66c1cabda543def7c2811ab7db422e15495c
Fundamentals Of Ada - Advanced Expired
2.21 MB
sha256:ef6f262447940a6f80ec2953ab4e286775b0efc811b67cd7ff167b7df0f3b2b7
Fundamentals Of Ada - Opat Expired
3.92 MB
sha256:55e8f8aebe72ce87ab5f68ad2b7d4e66f8d8d052f971e3236df216fb49a012f6
Fundamentals Of Ada - Standard Course Expired
3.79 MB
sha256:2392552e3b9fb3ae3fe328c47d68c9c221b5b2c1f3db2b67ccbf09d304083467
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:283ed606523ed75e80e6111a8dd37dca33166536100208b82eebc9fe0cf63df4
GNAT Project Facility Expired
1.76 MB
sha256:2485ecd4fb1931b8001d2268722c289c7dc9bcd5e02b503ed3b2c2550280de25
GNAT Project Facility - Standard Course Expired
519 KB
sha256:a55aebf0b17730b4a911b451473ad2c93d54dbc11414ca82616f28a01ea36982
GNAT Project Facility labs Expired
870 KB
sha256:82dbd2ae9cadc754a93e007bcf54a64a524da7df0e3a7f5ab1cfb9d138fcd10e
GNAT SAS labs Expired
876 KB
sha256:954d8c3d4c44d3a5c95b283fa7bcb3b226c60ffd7ba98e1693d31a13af3ceb69
GNAT Static Analysis Suite Expired
5.03 MB
sha256:eb5acc31b686279533a184487adcd458a33444f415174a21b0bb09094a73c7e2
GNAT Studio Expired
2.78 MB
sha256:49b429995913ea8c12e47e43924c3e531753daadf49c2cae5d71e7579f357df3
GNAT Studio - Course Expired
1.64 MB
sha256:9351bfb05b09e72782c00f3385f7ba364dbed8847a0975b5fd216b69a2fa6529
GNAT Toolchain Expired
1.04 MB
sha256:32caa17557ae246691f1025f601593e2c7c0da16d6cf3ff9f1bfeef702b04567
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:d701da2f694acd873f6fee473d1488305acf4ba9123feb6887a2132e6e23f64b
Mini Project - Mini Cinema Expired
331 KB
sha256:325c49113581ccd0e4f1b26eda1aa252a3415e3c9f9e0aab3d3c35e7c199afae
SPARK Expired
7.92 MB
sha256:29039d14ab3eb697394e9a892ca246bb0abc29f4012a69a28e13c4688803bd24
SPARK - Course Expired
3.38 MB
sha256:6bff352047828dde9eb2da8148d49e7de964d86ca9dc687dd360eb4f4922be7b
Static Analysis Via Compiler Expired
838 KB
sha256:272602a039d624757a5cf86ec62b21d585bd6c330abfd9a583307eac039b4f02