Merge branch 'mr/425-add-precision-for-ada-essentials-subprogram-modu… #3666
adacore-botmain.yaml
on: push
List-Courses
4s
Labs-Slides
1m 4s
Python scripts black lint check
7s
Contrib scripts check
1m 33s
Matrix: Labs
Matrix: Slides
Annotations
1 warning
|
Slides (ada_essentials/advanced.txt)
Docker pull failed with exit code 1, back off 8.855 seconds before retry.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.6 MB |
sha256:e4bfaae5cd4b0163780fc45451fb64c865e4024447937045d35bbd27727de7c2
|
|
|
Ada Essentials - Advanced
|
2.16 MB |
sha256:4336a5fcb30c5cfe2ab1cf26c7b2d9b3aee6487ff0d55ac8b38293781017a53e
|
|
|
Ada Essentials - Standard Course
|
4.01 MB |
sha256:dedac639de5c201839ab35ed54805fc7297a80bd7f17db3574caca00afb7e0d3
|
|
|
Advanced Exception Analysis
|
452 KB |
sha256:8a0f3f5d5227655161c30bc7162e59eb738a5f7f5ea68053adfe05aa0b658064
|
|
|
GNAT Dynamic Analysis Suite
|
3.37 MB |
sha256:3da20cfabf5c915b85c14d8d8a1b30584a1273b8ede34665246008275eb7e7fb
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.09 MB |
sha256:1d5f32be29926a7ffcb883a8b9da354fde45a382371af5733cbe73ee58d107d0
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:f8e72fe4cc9674dc73c652c4c3874e2d92e882eab7c69d186985241c5b0f1cf1
|
|
|
GNAT Project Facility - Standard Course
|
560 KB |
sha256:ea95c95f98e3d74f7640284b2320ae38577518cd95b9904d1f7868415ecd7141
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:faf74072da7c70a9d8401890735ca88b4e4d927aed5876cc4444fc304439478c
|
|
|
GNAT SAS labs
|
876 KB |
sha256:6aece5b60e7d9e338b3a39b397ffdcd54236fd8e488eae587af2bfa7eeb56d54
|
|
|
GNAT Static Analysis Suite
|
5.02 MB |
sha256:54c60801ae7560dd52424a8a413d66fe1c128f95eed4cb9da3b4e494549ae841
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.83 MB |
sha256:53555f244164b2b530fa9647b126fc6951feac92669da79d68f66b14e956784b
|
|
|
GNAT Studio
|
2.78 MB |
sha256:97deff3844124a5513814de8e25217624a7cad3d59a977121cdd6147ef5a61f5
|
|
|
GNAT Studio - Course
|
1.67 MB |
sha256:bfc0369432c54f76a5e42944583659bb5f0d9760383c4c67a0c245c5a3de08af
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:b8bbc20483e7ea2df015aee685e53fefd6d8095e4e0c60dfd4b84b645d790161
|
|
|
GNAT Toolchain - Gnat Toolchain
|
532 KB |
sha256:a32987b3f1635a87cb49358574898f453e9beaa6ce894f7da980e7481b0a9620
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:45ce81693f6784ef6f0cc00252790cdcb3279dc3bff87b04dc6f02a37d6c0bf6
|
|
|
Miscellaneous Tools
|
1.05 MB |
sha256:4f46ef81043c8a320062fe337ec121e68cf38a45595786b49bae186589334ac7
|
|
|
Rust Essentials
|
6.83 MB |
sha256:d8f12c454f628350401481427c7d49db8a44bc1f640822d46779477350220cb3
|
|
|
Rust Essentials - Comprehensive Course
|
1.22 MB |
sha256:5e26645fc1d3277b759b1d6ae8f22a9cc73c517bfa563100964373948608097d
|
|
|
Rust Essentials - Standard Course
|
1.16 MB |
sha256:565bd55640e531e53d5383b20fd7293d3001adccc596cafdb7b2076befc9fe1a
|
|
|
SPARK
|
8.16 MB |
sha256:12052cf1ec2754aaa16e2741f6c29067d312b986de1b64ecd1e1d02bc0d39dea
|
|
|
SPARK - Standard Course
|
3.49 MB |
sha256:3f27a7fb307cbc368adef3b91f43df1fe5609b3ad540400f0f3e3260d5a709d6
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:aea633c9cb0b824cb88c92e2f4d32c875b6d00cc7b48cc9ac4a7a685de931b78
|
|