Skip to content
CI

Rework confusing quiz #2148

Sign in to view logs

Rework confusing quiz

Rework confusing quiz #2148

Triggered via pull request December 17, 2024 14:11
@frank-at-adacorefrank-at-adacore
opened #469
slides/184-genericity-simplify-quiz-answer-explanations-for-generic-formal-data-quiz
Status Success
Total duration 9m 37s
Artifacts 19

main.yaml

on: pull_request
List-Courses
4s
List-Courses
Labs-Slides
1m 3s
Labs-Slides
Python scripts black lint check
9s
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 (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 (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 (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 (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 (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:4811284b40cbbcce60bd2198a905b07c363ffb5790e31a8226caf38afd1100b2
Fundamentals Of Ada Expired
24.9 MB
sha256:8ae355d1dbb7efcdd16999c5d832942e2e25cb6ad5c0cc074c9555daf16ffc38
Fundamentals Of Ada - Advanced Expired
2.21 MB
sha256:6519fd64c80f618f9b40d4cea192f73db745ac567c2939a97ef3763dd6288481
Fundamentals Of Ada - Opat Expired
3.92 MB
sha256:f5a9e9c0c78b7e57beae5a3603d80adbeaa0aee44619378fce2329cf7e91be38
Fundamentals Of Ada - Standard Course Expired
3.79 MB
sha256:9e6f3469ec8b5679ca22fdc9842c076c3861e7408775bcc52bba8462a3ea5799
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:3977b0597c4b201f334e1aefa2bc9bb57827e8cc9d07a83d04cbe2813ce8dbf1
GNAT Project Facility Expired
1.76 MB
sha256:511a3b753b33edb94b513ddc26eebc2b210cb6ae26c02a7440365d5b4b62c197
GNAT Project Facility - Standard Course Expired
519 KB
sha256:0742e609541697fe82c863d5eb7d3ba00c0c7d9180fbeb4e4f9a9eab71dc622a
GNAT Project Facility labs Expired
870 KB
sha256:1227e5f5f502f501a67fd9f6e6e7ac1f0a1c2d2e91a0f0e8241396e5e2ea0f6f
GNAT SAS labs Expired
876 KB
sha256:a27471faea1bd67ac2bdb7ef844609fdd067660b7bca7def026db36a7ba4cae5
GNAT Static Analysis Suite Expired
5.03 MB
sha256:b67b1a8bb2914f68d6365a628c74118a74bb0ef05fcaf9ea3599d2ce4165c1a2
GNAT Studio Expired
2.78 MB
sha256:8928d41328f8fbe6af549474c1f63d6b88f1bd93aaf5f55c5c3558f12b217c16
GNAT Studio - Course Expired
1.64 MB
sha256:cc5811f1945b82997f2ce2fe318c70f585de3ebfedf941d11885100b9edd2ef1
GNAT Toolchain Expired
1.04 MB
sha256:7df4e5eaf1d7ed71de39c49f4cee8eb9be424d6c490a10618d6e84620595af80
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:44d54c83bb1e54b5360041e85fef8ea92968670a8e488e8f3e23df1b35f617fd
Mini Project - Mini Cinema Expired
331 KB
sha256:98cfcdf0da39782b43a89736c469f18d53943a7040237490d7275afae008085a
SPARK Expired
7.92 MB
sha256:f1f4469a7ecc56e7d7c05748871526a463d71956fe68866269c4f0d461864526
SPARK - Course Expired
3.38 MB
sha256:559e50c28b334a9629ffbe9ce944e4b02c1a1b0516f62ad5d0e6c6e0f45911b5
Static Analysis Via Compiler Expired
838 KB
sha256:cc41d8ff77c6ba235c790c58c9331f8c54727e23f55f2da3b6d842088df374ff