Skip to content

Slides/211 add rust role to material prefix #2229

Slides/211 add rust role to material prefix

Slides/211 add rust role to material prefix #2229

Triggered via pull request January 30, 2025 18:26
Status Success
Total duration 9m 14s
Artifacts 21

main.yaml

on: pull_request
List-Courses
2s
List-Courses
Labs-Slides
59s
Labs-Slides
Python scripts black lint check
6s
Python scripts black lint check
Contrib scripts check
1m 13s
Contrib scripts check
Matrix: Labs
Matrix: Slides
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Slides (gnat_studio/course.txt)
Docker pull failed with exit code 1, back off 6.442 seconds before retry.
Slides (spark_for_ada_programmers/course.txt)
Docker pull failed with exit code 1, back off 9.4 seconds before retry.
Slides (spark_for_ada_programmers/course.txt)
Docker pull failed with exit code 1, back off 2.78 seconds before retry.

Artifacts

Produced during runtime
Name Size
Advanced Exception Analysis
452 KB
Fundamentals Of Ada
24.3 MB
Fundamentals Of Ada - Advanced
2.16 MB
Fundamentals Of Ada - Opat
3.88 MB
Fundamentals Of Ada - Standard Course
3.77 MB
GNAT Dynamic Analysis Suite
3.36 MB
GNAT Project Facility
1.76 MB
GNAT Project Facility - Standard Course
519 KB
GNAT Project Facility labs
870 KB
GNAT SAS labs
876 KB
GNAT Static Analysis Suite
5.03 MB
GNAT Studio
2.78 MB
GNAT Studio - Course
1.64 MB
GNAT Toolchain
1.04 MB
GNAT Toolchain - Gnat Toolchain
526 KB
Mini Project - Mini Cinema
331 KB
Rust Essentials
528 KB
Rust Essentials - Standard Course
528 KB
SPARK
7.92 MB
SPARK - Course
3.38 MB
Static Analysis Via Compiler
838 KB