Merge branch 'slides/209-use_rust_role' into 'master' #2405
adacore-botmain.yaml
on: push
List-Courses
3s
Labs-Slides
1m 13s
Python scripts black lint check
7s
Contrib scripts check
1m 12s
Matrix: Labs
Matrix: Slides
Annotations
2 warnings
|
Slides (fundamentals_of_ada/opat.txt)
Docker pull failed with exit code 1, back off 8.185 seconds before retry.
|
|
Slides (fundamentals_of_ada/standard_course.txt)
Docker pull failed with exit code 1, back off 9.528 seconds before retry.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Advanced Exception Analysis
|
452 KB |
|
|
Comprehensive Rust Training
|
5.37 MB |
|
|
Comprehensive Rust Training - Comprehensive Course
|
894 KB |
|
|
Comprehensive Rust Training - Standard Course
|
848 KB |
|
|
Fundamentals Of Ada
|
24.6 MB |
|
|
Fundamentals Of Ada - Advanced
|
2.16 MB |
|
|
Fundamentals Of Ada - Opat
|
4.1 MB |
|
|
Fundamentals Of Ada - Standard Course
|
3.99 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 |
|