Merge remote-tracking branch 'origin/master' into mr/460-update-rust-… #4653
adacore-botmain.yaml
on: push
List-Courses
6s
Labs-Slides
54s
Python scripts black lint check
11s
Contrib scripts check
1m 16s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.3 MB |
sha256:ed49b54f43a15b821743e5fce8ad39cef1b97b6e43f0879276fae4edeb744909
|
|
|
Ada Essentials - Ada95 Course
|
3.28 MB |
sha256:6a2a047ffe8b6a5fff8cd232133941f05fbfd30747a97fa11ab4c100b574c080
|
|
|
Ada Essentials - Advanced
|
2.37 MB |
sha256:b2dabfd4b1fbbe3e170710ecd6f429c76b333f27cbdd41362e81003dfe28d63e
|
|
|
Ada Essentials - Standard Course
|
3.53 MB |
sha256:b58c3686ddaa6fa5451ddd0e4dc01f481d4af769e63dcbbdef7f71ef0816464c
|
|
|
Advanced Exception Analysis
|
482 KB |
sha256:4159d7e36d16f7ce64f5c14ea8024b0872caf355be0d0dc2e9d7aea6b8588765
|
|
|
GNAT Dynamic Analysis Suite
|
3.43 MB |
sha256:a3fa2bd34f2d2aeaf0058d270ce7f0fbcd002a892075638fb6d6abbf10ebd4fe
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.16 MB |
sha256:66e1ecea332dfbbc9f06952ece32a9e19a705c3b4c6f5650988d66405f01ee4c
|
|
|
GNAT Project Facility
|
1.85 MB |
sha256:d39bdbc7e76754f93e734f4a457510c4245868f8d670e4b11175409a81b2c9c8
|
|
|
GNAT Project Facility - Standard Course
|
597 KB |
sha256:9dcfec4b5a65a312358b22ca9c7b6cea7eca6023059ee726207f01a16fdc2010
|
|
|
GNAT Project Facility labs
|
850 KB |
sha256:5296acff6d626648a2bf2504bee70fc1dd70fde05b3f63bf9e74b7f8555fcb40
|
|
|
GNAT SAS labs
|
857 KB |
sha256:29c92780ebe8f5d77135ea286fe8ca92a51e5ab42da334c7b5d9280d5cb8eba4
|
|
|
GNAT Static Analysis Suite
|
5.05 MB |
sha256:46818099459ece8973ebfe2841a06b811b003ed8a9de9aaee88eaf5918ae978a
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.9 MB |
sha256:0678d022e3cd0cbc93b3b2768a3d0cf36283b5790fc3b54e60feeeb7a503cfec
|
|
|
GNAT Studio
|
2.84 MB |
sha256:c0dc9f865544eddbf2011d55cb9ea1d291e518696d5f6b0e41a6b1c9ab5400ff
|
|
|
GNAT Studio - Course
|
1.7 MB |
sha256:2b6939aafe77cf7fe1a643c5b158d9b6cd2f75f844bfa312cd32e108f7befbb0
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:d16f5d3fddbb0f11606e72689661b7ffba85dd1cf09cb30600acf8674af36447
|
|
|
GNAT Toolchain - Gnat Toolchain
|
538 KB |
sha256:657d8e4fdb6e195f6dec3d124718a3ccfba907676de09d1dba3b45c9d25250c2
|
|
|
Mini Project - Mini Cinema
|
325 KB |
sha256:63ce83262e210139598b57ed4f34f480d4dd5cb7c0c6bc87f446ea2848e73a77
|
|
|
Miscellaneous Tools
|
1.04 MB |
sha256:6548bb35ffc2a6f58f514b507d620288c30a5eb76199cfdef3557f2cdecbc031
|
|
|
Rust Essentials
|
8.24 MB |
sha256:10ce96e3665b4fa8e5c4d964da0caccb8e8da5cf62d35c55ba9b0e9db9ceb2eb
|
|
|
Rust Essentials - Standard Course
|
1.54 MB |
sha256:d30efcb0199feb9380d120f51268559fe97287c922bfe46e993a2bd94fcfe16e
|
|
|
SPARK
|
8.26 MB |
sha256:a96577a650e9f1dd45ed2b19d17ea4ee319c08430e4e737bd6dabb4f157b8899
|
|
|
SPARK - Standard Course
|
3.68 MB |
sha256:f61237f97b95e939c59a1616b4ffb4d462fbeb898890f089e11109ea2fdc2bf9
|
|
|
Static Analysis Via Compiler
|
861 KB |
sha256:f96eb3bc4268a567b5133f70e3633629b1db18c160bc2e350b21158a9a8e3e97
|
|