Fix some typos #2469
adacore-botmain.yaml
on: push
List-Courses
5s
Labs-Slides
1m 11s
Python scripts black lint check
5s
Contrib scripts check
1m 14s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
|
452 KB |
sha256:5783969db900011cfdeef12d023431ed552a08df6db1515af2700d3a99d9db85
|
|
|
Comprehensive Rust Training
|
5.92 MB |
sha256:0a69ff2930d55fc5260685937ae035fcf79b43c7107889fbfe6d096e3c2e355a
|
|
|
Comprehensive Rust Training - Comprehensive Course
|
1010 KB |
sha256:8bbc3f210af10f313c22f18feac17aec17edd050833fbf2deb5d5c09644ebca3
|
|
|
Comprehensive Rust Training - Standard Course
|
969 KB |
sha256:961fa1a8d56cc1ade0fe796330252167fbe61dd74e969ee451e3167b75eae413
|
|
|
Fundamentals Of Ada
|
25.1 MB |
sha256:8e9c2ce823649710265b2cda267654843ff04ccb4af75482b93090c8fb14f3f8
|
|
|
Fundamentals Of Ada - Advanced
|
2.17 MB |
sha256:a1f4874cd9e33afb7ce0a4cde957449147d460ec2bf8bedef27a167b306060de
|
|
|
Fundamentals Of Ada - Opat
|
4.11 MB |
sha256:90f9458c158a3f5a5237d4645a56352d78f713525de4dd793227a924a0cff95a
|
|
|
Fundamentals Of Ada - Standard Course
|
4 MB |
sha256:20c56c2a166d75f79883a921dc9041ab320e9435b4e392fdb900c81ac24580a2
|
|
|
GNAT Dynamic Analysis Suite
|
3.36 MB |
sha256:519e3f47f59ba9f8fcf16cd0ece86145eea464100dc5cdbd1b378e3229459e1c
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:0e3af20f134e1f93964a22be8166d38c733a3d54f9270255a099b79c4ce53508
|
|
|
GNAT Project Facility - Standard Course
|
527 KB |
sha256:810033cd9b48dd9ed367b1ed726009dae83b47462ba7f27e21e54d12b2b025b9
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:076b8958e1894e84693c6e0a3b431cdca7c62ce820438b1bd8af5ca288cc8176
|
|
|
GNAT SAS labs
|
876 KB |
sha256:affd78c8db57a02cbae5c97a19ae3e7b1d6cfe57f29742760ae1f56c39617529
|
|
|
GNAT Static Analysis Suite
|
5.03 MB |
sha256:1330bec324728b432ec210c9283080e4f9b4c5ecb0def100fe5a11ec1a49d901
|
|
|
GNAT Studio
|
2.78 MB |
sha256:387d7a001d71675e7e4dbc62645e6832d73b9300dc652fa7d9c57f669c9bb7b9
|
|
|
GNAT Studio - Course
|
1.64 MB |
sha256:4ec815fc817248211196da2237e8f51e1242c8eb5c53bba8982dd4ce25aadb35
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:fba24eaf33fb20a49c01de97bfd856cac0845e613a2acb49841e01724350ef7d
|
|
|
GNAT Toolchain - Gnat Toolchain
|
526 KB |
sha256:ff029a5b359b92bd42b6df36ebd0d3f44303dd07ddfbf182b95a443711357dc0
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:8288a1b62f88bf6f2ca8dd085c0aa965a235c1ee10ef983cc3fb03ea07312a0c
|
|
|
Miscellaneous Tools
|
665 KB |
sha256:785f28f84d2103457b7a99b7f25f988cf64d3e5521f32ee2868ddbbf817b8039
|
|
|
Rust Essentials
|
528 KB |
sha256:a7d58b406463d049cf8ba60358110208888a75ee898ee6909c9cdfe1c1d0fd09
|
|
|
Rust Essentials - Standard Course
|
528 KB |
sha256:ae762318ff1ed9ff0fa358f506ac72d54ce0c7ce10df76bf3dc7e89a3d6ffe2a
|
|
|
SPARK
|
7.92 MB |
sha256:d7a169441bb46d00a107de60cfa1731acb565e29b191b40692fb554892d599be
|
|
|
SPARK - Course
|
3.38 MB |
sha256:a2e41ce552bfa9e862b192f263b81e4c1d2700fc6137a767cf617927d24a9df6
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:3759a168b68f58f6e29640c3750b3b506ec467b870b371b48b4d1d32b473b533
|
|