Add modifications from review #3656
adacore-botmain.yaml
on: push
List-Courses
5s
Labs-Slides
1m 2s
Python scripts black lint check
8s
Contrib scripts check
1m 12s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.2 MB |
sha256:2590c852350ad9fd4ca1f834499987aedb06eda26cd7ec2c63d99548bd827928
|
|
|
Ada Essentials - Advanced
|
2.2 MB |
sha256:95f15d507771f25dea930d1c787789601b8f05626e51b7226f2f6f3c840c72ef
|
|
|
Ada Essentials - Standard Course
|
4.02 MB |
sha256:37e713343071aa235ad5bad6ff90e269d53a6a357eb214a9552952bdef4e4824
|
|
|
Advanced Exception Analysis
|
452 KB |
sha256:838b3bf780a1b0682ee34cde7d44a4915268c6b150780be35a6a72b5320d96f4
|
|
|
GNAT Dynamic Analysis Suite
|
3.37 MB |
sha256:3b29c354b6d80da4c013f6c5fe1793b41c33ab2dd38ebac8725dd6f3915fbe85
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.09 MB |
sha256:88a61e038af16dd9f304cbdeb36c0d6b2007fca81309f1654f2392be01d80aef
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:97287ec4b6b48aa9625c63e4a0a7e3c2c30cff552c9fbd1dcde0a4e9a047a43c
|
|
|
GNAT Project Facility - Standard Course
|
560 KB |
sha256:95666febc95f4ce90f09d8b2b620c259c99ea26255135f8471618cf4dd367647
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:fa5e1668d76ff1e1382674fe8b642a0d64d9cbaebb060d92b42e32bc11030ac0
|
|
|
GNAT SAS labs
|
876 KB |
sha256:404c22f7960d62b444d113ec457dc150c92b95a3ab7c71d41a6850a0ab34d306
|
|
|
GNAT Static Analysis Suite
|
5.02 MB |
sha256:5f71a3a850c2a5e4a3114c58c9e1769b2d052e806a2b85d28be55e5772b65ded
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.83 MB |
sha256:69d70a3a782f3869e9527ce1e6e3b64e40900ee58cdfb0b7e9e7c2dbaf3d781a
|
|
|
GNAT Studio
|
2.78 MB |
sha256:dcc3bbd1660a4bc9e452c97f02964b43b20d4ef0c6a1d947292ac8fb933d5500
|
|
|
GNAT Studio - Course
|
1.67 MB |
sha256:3f7d2f4868f741fc57f13da0b0a7747673ea50e3700d4d76b37a25440fc4cc2b
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:3c7a06d9becce27414df28de6ccea2d22765961f4410a6394f3abd5880f718ac
|
|
|
GNAT Toolchain - Gnat Toolchain
|
532 KB |
sha256:b04790744dd4b03700f1fd65204f9fd8a506fe5f773457cab3f0f8f3cb575680
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:ea85e7121bc4abe3859863b0a2ddf2653dc75818930f727e391099bf03c005e4
|
|
|
Miscellaneous Tools
|
1.05 MB |
sha256:e0153fe869989d9e0cbd669dbada9cf6c0601954c7fb97a06a6ed3899d28c136
|
|
|
Rust Essentials
|
6.48 MB |
sha256:46ae0c45722d257254e02f65b1f7414fe2a5e435f050b62e2a93bfaa2e48e9a1
|
|
|
Rust Essentials - Comprehensive Course
|
1.18 MB |
sha256:24c0f8d38010a48f53def0e77313c3692efc66b7a408c0897906cce12a3f60dc
|
|
|
Rust Essentials - Standard Course
|
1.12 MB |
sha256:d428c06682367b638e06c5a09b073bea96002776e49d2a844812ff206fd2c481
|
|
|
SPARK
|
8.16 MB |
sha256:30fa30e60fbd3e3f468ad6947014444aa2f6eb5ec7040e01484e25206c5b02d2
|
|
|
SPARK - Standard Course
|
3.49 MB |
sha256:416a7eca34f2858fbca636063fc95d3e7c10325bb29b07951bedd4c0a3c95459
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:97fc84e56fcfccad4b6957a12fd22fca7c17475edd8f6f6136f773c3edd08f25
|
|