FCorrections after review- but needs checking #3658
adacore-botmain.yaml
on: push
List-Courses
7s
Labs-Slides
1m 31s
Python scripts black lint check
10s
Contrib scripts check
1m 13s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.5 MB |
sha256:eb256edcf6b24cec1e673d108f622c1deeb38ef35ad370b066ebbf5b07eae3ef
|
|
|
Ada Essentials - Advanced
|
2.16 MB |
sha256:8fef83217c3416962ddad292670b9ebb87fb83aefe6f6287f884533363be47ce
|
|
|
Ada Essentials - Standard Course
|
4.01 MB |
sha256:4414c80ce282b96ec4af6d4b1989ff159b8748349b58aab384d91d7bb635f21f
|
|
|
Advanced Exception Analysis
|
452 KB |
sha256:9d1eaaa1e7a29f109c0754da907157d189ef520d4fe8ffa288dac70213c29989
|
|
|
GNAT Dynamic Analysis Suite
|
3.37 MB |
sha256:95049ee66a1037b45b8b65c39b687a33e5e72837c23645f4413daef20cd18331
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.09 MB |
sha256:a326e4b96613a474ad16027a941386abc7887f4e7e6c95698ef213f5253a9039
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:b219bff6935f14d7b06c7675b9953918238f044c9cb85b95e99d60eda5a5825f
|
|
|
GNAT Project Facility - Standard Course
|
560 KB |
sha256:dc3fc5021338d15fa2a37b0a13ab98fea636236a59c1bb45dc50b9fb44602dee
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:babb6108b949c4c4e039dacdd4ebdfff02b8c9e2757b3cc8ade3376d48136a47
|
|
|
GNAT SAS labs
|
876 KB |
sha256:b011f1bcf70324a0eb16998294aed3dc52a2bad123649d11f9d6533876f1d745
|
|
|
GNAT Static Analysis Suite
|
5.02 MB |
sha256:5a7e65462489601e54765f2c6fcf1763effb28ec4fbfbfa765ad49c7b0f56ae6
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.83 MB |
sha256:bc3c6a85a50f1df35b1c76632170f30f47fc21ddfda73cb1788c5a090103b8d5
|
|
|
GNAT Studio
|
2.78 MB |
sha256:a775ae133897146b364b77e27c0419c08aa72191b84a81fdf49349cbb328a044
|
|
|
GNAT Studio - Course
|
1.67 MB |
sha256:e4a63a0dbc4e9b5ecca72b1e0a5ecb540b9bebf45122330f0305ffc251bf4d59
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:0ec8ca2dbf73d0e136fe2a3ec1f0d6e768de11b771766884b51a6cbe430342e9
|
|
|
GNAT Toolchain - Gnat Toolchain
|
532 KB |
sha256:b5bf0ce53936473580b8157b47f4a6abe626ecead95cd85543143370f812ee9e
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:5f44b6b9d35e09d0911be8f733bbd1e8179ea49358bd9fd7939c38ed056078e3
|
|
|
Miscellaneous Tools
|
1.05 MB |
sha256:e3485bfc0ef9cedf3499413905f802574907d818edcca4d5d55de808c4800d00
|
|
|
Rust Essentials
|
6.73 MB |
sha256:4753949acb9bf583330700fd3996f09dcf3483945e3e6807df44027c786dab53
|
|
|
Rust Essentials - Comprehensive Course
|
1.2 MB |
sha256:5064ee793ecfffdffe4add97d28f4bf0deba4ec36660ffe4e8f4e25b6dc13afd
|
|
|
Rust Essentials - Standard Course
|
1.14 MB |
sha256:04f3ff8053d09012c129a5576b3f1204e2dc881e38e3f4ca18ab5f36ca3ddb8a
|
|
|
SPARK
|
8.16 MB |
sha256:36f5609cb4d98e4bc5ab329a466b43efd3cab78b27dc92133cc1625cae806892
|
|
|
SPARK - Standard Course
|
3.49 MB |
sha256:5ca83f1eaea36822048b851f12532ac089fea7048ae0e67fb010dc1f0e94d54f
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:be07f7899a2827bba9ba0905e29ed4968f4ead45997397c7f24bbf183481d468
|
|