Make type invariant quizzes the same #3665
adacore-botmain.yaml
on: push
List-Courses
5s
Labs-Slides
1m 4s
Python scripts black lint check
11s
Contrib scripts check
1m 20s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
27.2 MB |
sha256:0c82c6f048c90f36e0e79fa20369a5bda2598adf11ee925112ae8931e57a3dd9
|
|
|
Ada Essentials - Advanced
|
2.43 MB |
sha256:911b2c3e34fd3a305d48b26549d77d3d482080676ed7ff26e440feaf6a3179bb
|
|
|
Ada Essentials - Standard Course
|
4.37 MB |
sha256:266aa717862e81ede27750a25796820a37713e44ef13fcd2cbfd817c28374d57
|
|
|
Advanced Exception Analysis
|
483 KB |
sha256:90fe62ffc5fe015209097b2f44c6150431c3b71fb6112c597324a3dccd248691
|
|
|
GNAT Dynamic Analysis Suite
|
3.43 MB |
sha256:5cee591f6ab688600f65907efc3944161542f325cc6fba719a2a6aef350c1107
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.16 MB |
sha256:917b2fd1489db8c8a49d6b71c4a796a1950efbce36067860e857a3d86ccb0c46
|
|
|
GNAT Project Facility
|
1.85 MB |
sha256:90cacc8509a075b90d55e49b1bfba7b2ed4017fcbc0fc657ef1e64aff3e46ec1
|
|
|
GNAT Project Facility - Standard Course
|
597 KB |
sha256:87cd2d0552ef4703ca680f6a000054145cd5ad1132e26934d7a0a5a9406535d0
|
|
|
GNAT Project Facility labs
|
850 KB |
sha256:e9dd47214c5650583be898d945acda3a23d144ef8fdea659cc2f51ec03b6d993
|
|
|
GNAT SAS labs
|
857 KB |
sha256:555f4c47c03b6c9b99d141d268e960486dc6716bc053b9200e5f4581fde649a2
|
|
|
GNAT Static Analysis Suite
|
5.05 MB |
sha256:a9f08fb2cd09dcf61d2ad7891546a9a5fc6d67fb4ac0b169b6d06be9bf544336
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.9 MB |
sha256:e5d12bdba71a56f461e9eaa9e27e49ec9c32210c8efbc0a54ef7d05b513f0dc0
|
|
|
GNAT Studio
|
2.84 MB |
sha256:07eba188b137f6d4c2e9b14f1f92b472f179b3401ee604e006f992178d1a9c96
|
|
|
GNAT Studio - Course
|
1.7 MB |
sha256:6716763cd6a413e23a0852407ddf29f483e4b6441f95427e75d1ffe831bd066e
|
|
|
GNAT Toolchain
|
1.05 MB |
sha256:ad2101ef6f106f374beba467420c40e8f6b044c03f38175779698ed324c54d95
|
|
|
GNAT Toolchain - Gnat Toolchain
|
556 KB |
sha256:5bb2a35d13cad78e7cb3fd1ef743858d74027eaeb1eaaceb16dba270deeea29d
|
|
|
Mini Project - Mini Cinema
|
325 KB |
sha256:226b29c1e34cc7a1e72cfb1e8e36e108bb04dd740fb1160f31e95be0b3186d6b
|
|
|
Miscellaneous Tools
|
1.06 MB |
sha256:bb2ad276486b5f56f591f5aea4f983e367321256cad5561f17bf9bb4fdbaf655
|
|
|
Rust Essentials
|
7.2 MB |
sha256:322de501e6ff56da16034fde3454ddb60b30c607db64589735f946844e51a226
|
|
|
Rust Essentials - Comprehensive Course
|
1.4 MB |
sha256:8dfefab7c07fd34e97707c3e7e05f94fde62791e108b33b8d22dee2621af8f23
|
|
|
Rust Essentials - Standard Course
|
1.33 MB |
sha256:2d827273ef4518b0e966c5b701abd4408b055bca6f9e3d603f2e4071a51d7719
|
|
|
SPARK
|
8.33 MB |
sha256:34508022ad9ded88f1e5cf85e877f50452a9b79675b5f56682f70b305cb692f7
|
|
|
SPARK - Standard Course
|
3.69 MB |
sha256:5d0b4285c0f3f7e54d4d222f141a86e1c942b3cb9c007314ae74598f848262d1
|
|
|
Static Analysis Via Compiler
|
861 KB |
sha256:a307327eace3a0b1b23b9b31746ebf33eea634e30224efaaccfa2b4f8b138242
|
|