Update destructuring chapter from feedback #3670
adacore-botmain.yaml
on: push
List-Courses
5s
Labs-Slides
1m 0s
Python scripts black lint check
10s
Contrib scripts check
1m 23s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.2 MB |
sha256:aaeb6e5888157ebb11db5e0c3ba0e41328f5a58bee939b23fc21e9745508403c
|
|
|
Ada Essentials - Advanced
|
2.2 MB |
sha256:54a4bf8cb6426aba02472d00a15d63c0b9935cc65071b77a7d53846966e4699d
|
|
|
Ada Essentials - Standard Course
|
4.02 MB |
sha256:9dca2a7d28a121a771e0aeaac41019d12c3cf0f6ac475b8a3205e7b412b8e6e8
|
|
|
Advanced Exception Analysis
|
452 KB |
sha256:a97e34944a8c7d285ce1efc21f929d0d04d6745a8b971a71249052b25095702b
|
|
|
GNAT Dynamic Analysis Suite
|
3.37 MB |
sha256:00a3517cf37a945e62cd51e38ac2a5da07fd3e841198be48ada3829d5c835dbf
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.09 MB |
sha256:72a2d26a52acacf6f31a0eb8c680158b1ecb8c7f63f74b1bb131ded32d2f2021
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:b75792251bbab26d044e3b9801294897efe3104570c5f74ebe064544f904083e
|
|
|
GNAT Project Facility - Standard Course
|
560 KB |
sha256:01afa68b99d5a17fae57a4f27aa97ce660c09ca3ddf9ef9e30cca174b4ed3875
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:aef637262e910f90f37516d6187866c42f7b5d33a83bc02bea15c84250134224
|
|
|
GNAT SAS labs
|
876 KB |
sha256:f26f6ff7be63d1ce0b65999a2e3239754a3c24e83afaa02bb17db352b351d4ed
|
|
|
GNAT Static Analysis Suite
|
5.02 MB |
sha256:8170b1aea79fc631da0a6711f4a046d8f44f195d85c20fd4b196a2b05e32762a
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.83 MB |
sha256:958ea01ea3a271d7328ec32d8394e51f484d758417bb03057e5ddc2c11f968a8
|
|
|
GNAT Studio
|
2.78 MB |
sha256:87f563df9a8af8044f2086f0dc36092cb59792302457809c30609f49d4de9656
|
|
|
GNAT Studio - Course
|
1.67 MB |
sha256:c791ebd93b58d46cd7eb1edb499fd29b4d57a483813d1de66e85f86dc1dfbd8f
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:7b1735545ebb6dc04c1bb451856f592634cdd08300c50eb44a791c1ddb23db77
|
|
|
GNAT Toolchain - Gnat Toolchain
|
532 KB |
sha256:89ba4bd0a8ed13227a9c371d40f3906769bb981487de8764af5373027e91feb7
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:eaf105d7305afe5dc996e5f298f015a3da577b447e9b69da1f600c21694a4d09
|
|
|
Miscellaneous Tools
|
1.05 MB |
sha256:82cffd223565dd85208ff840bd6b9f4971760928b18eac78ea1fe4a0b4c84d6f
|
|
|
Rust Essentials
|
6.48 MB |
sha256:95a593c8341f1d96ba45e6413ba44bea9ec459e9ffaa2787294bbfb7584c9c0c
|
|
|
Rust Essentials - Comprehensive Course
|
1.18 MB |
sha256:04ac83edba6f6e0f0c54e58da46c56bdadef2bc49e36374198db2e5569d34eea
|
|
|
Rust Essentials - Standard Course
|
1.12 MB |
sha256:6020995d5090064a005ca8729faf970d87241a4633d885ee7dcba24ba6f1344b
|
|
|
SPARK
|
8.16 MB |
sha256:503fcaac925de653bc8c5432b7666fdc416449f82a592dc6a32d817e74442331
|
|
|
SPARK - Standard Course
|
3.49 MB |
sha256:de172b20c5145dfe56dc6e17971f4531184bd672cf1cdc0f243f9bef0387c8db
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:b92b439c6a301d076764a86e211e9e2a34afbd916450eee27da6b8bdb520661e
|
|