Verify prelude for new folder #2466
adacore-botmain.yaml
on: push
List-Courses
6s
Labs-Slides
1m 6s
Python scripts black lint check
7s
Contrib scripts check
1m 25s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
|
452 KB |
sha256:e3773c0b911c7ab4a1943271d5c49a5a2aacd6313cb6247647a807938a5c1945
|
|
|
Comprehensive Rust Training
|
5.92 MB |
sha256:2a1d44636147a9959ce9a0960952e10fc17f79f765f6bbe4c89217a258bfee14
|
|
|
Comprehensive Rust Training - Comprehensive Course
|
1010 KB |
sha256:fcdb052cfeda5574e26731e8fb85bd89f6f147ac9579ae345e8b57f36fb5d180
|
|
|
Comprehensive Rust Training - Standard Course
|
969 KB |
sha256:9e35664944aa8c87e70548fa25bbac4bab008c3525a7c28e15acd429723ea923
|
|
|
Fundamentals Of Ada
|
25.1 MB |
sha256:a400c8b2f1a8856d34a39d4128149c4120eb9c512d34c014efdadcc1c103da36
|
|
|
Fundamentals Of Ada - Advanced
|
2.17 MB |
sha256:7bd0f1a86406045fc728b54814c0b553f238bfb41bdafee04c9f1fbe00c27be3
|
|
|
Fundamentals Of Ada - Opat
|
4.11 MB |
sha256:669d81be61552b6119926cf12d36dddda238df1f0ae7890ca44239b487a70cc4
|
|
|
Fundamentals Of Ada - Standard Course
|
4 MB |
sha256:40a5e145549ad960e041e47e4c07fd90663ee80e9ebb1174cb146e75e981cd1a
|
|
|
GNAT Dynamic Analysis Suite
|
3.36 MB |
sha256:656b58f3d14e2eeb46e94e36ba60a9308cc16a686a01b44ee30b5ef3767bade1
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:cd703dd03da49ddbfb85f50a63ea6f3d2f1dc0aef6dc1a692e5911faaef8a9a8
|
|
|
GNAT Project Facility - Standard Course
|
527 KB |
sha256:6e4a02e4860aa5c19d1d7a87b3d94f5f7f926d181eb6a807b1add7beac03151e
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:7e5d8f61e442e51be4125ddb6b6debdcd8335445555792a426c6a2aeea9e0e28
|
|
|
GNAT SAS labs
|
876 KB |
sha256:1b037e810218655d3888ce49510dcfb9c965877b140125a4334d76993ca9ee10
|
|
|
GNAT Static Analysis Suite
|
5.03 MB |
sha256:88e29e1c865302439100afda36ae086feeb1b239ec6c68af5fe14a9c41dcd03a
|
|
|
GNAT Studio
|
2.78 MB |
sha256:cd4c1bbff136928996686e9f6fd63ecccfc47e04b26e73658a34d3fe43ac7b82
|
|
|
GNAT Studio - Course
|
1.64 MB |
sha256:25563020756a83c760dc1575a8f964312458aa8724bff3edb2a6bf941ef9ea46
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:854417748b9ab2212994f0c7b8947ec9d4cf5fb41274e99ec89e2136441ccec1
|
|
|
GNAT Toolchain - Gnat Toolchain
|
526 KB |
sha256:d4ef2dc3bdbb22ba3d7b15a32c2b90192b739a556eed23660ba83e509ba802f5
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:8a2227403c9456b82f91da9e036c212ab86e5e54d10db729636cd47afac65a4d
|
|
|
Miscellaneous Tools
|
665 KB |
sha256:641d970d83fbe30e3c0bb619fb61bdd7902e1aaff67c35b32d213fd5654f915d
|
|
|
Rust Essentials
|
528 KB |
sha256:22a2fb396e328ad52235d546e7464dda411826609959f8de983dcbf98c428cef
|
|
|
Rust Essentials - Standard Course
|
528 KB |
sha256:5f0d3d0c3b53555d198ded70ab476671e53872f2f42122dfd0c64d4e442b96f1
|
|
|
SPARK
|
7.92 MB |
sha256:ad378f9c1d4be921acee5e213e196eef6a987efa1f6d655801cd9b2fc855a35a
|
|
|
SPARK - Course
|
3.38 MB |
sha256:282eca7ea081280e32ed92e7526a1ae8682f478f66f42de342efc221dd5cb020
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:699d3020309ba502dd77f325d433a6ee07901e7fbde0a1fb6e728a33446517d4
|
|