Update readme #3663
adacore-botmain.yaml
on: push
List-Courses
4s
Labs-Slides
1m 2s
Python scripts black lint check
13s
Contrib scripts check
1m 11s
Matrix: Labs
Matrix: Slides
Annotations
2 warnings
|
Slides (rust_essentials/comprehensive_course.txt)
Docker pull failed with exit code 1, back off 5.041 seconds before retry.
|
|
Slides (rust_essentials/standard_course.txt)
Docker pull failed with exit code 1, back off 3.808 seconds before retry.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.5 MB |
sha256:70a0342df69eafb99af73762224bf274e2a45ad2d8d23a230a8eee7875fc5338
|
|
|
Ada Essentials - Ada95 Course
|
3.78 MB |
sha256:7c9a8d21a3e11c83dfaa3d5b64caa68d1831a0a2deb0b0a280158e287bd9066f
|
|
|
Ada Essentials - Advanced
|
2.16 MB |
sha256:06e7849b92aed85a85dddf9d45b3dee232f3c00939627f6bb4222a68628ec7aa
|
|
|
Ada Essentials - Standard Course
|
4.01 MB |
sha256:753ed74bf8e02b3a8683f33c57428a2dffbc13ad7341028116a16916c80621ab
|
|
|
Advanced Exception Analysis
|
452 KB |
sha256:175d046d1056d2b1e1948084c0013a35cc3aaedd6acb02f87d8141822744e898
|
|
|
GNAT Dynamic Analysis Suite
|
3.37 MB |
sha256:bf2e0e5e470d23b66d9330781b1acd126ff01ddeddaa113901e04bd634bb61f9
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.09 MB |
sha256:ad7bfe53f4f5f36a4772fa82ed7856ad2dab6362a0dc9eee205a97a24b49a8be
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:8ebb312a6919595d631bbd4e9cc6a196dbbab5eb9e2c94ee3efe7ec2af1ab0ae
|
|
|
GNAT Project Facility - Standard Course
|
560 KB |
sha256:054d362214d6d3b57071a8c080f71ce3fde938a54d7491a8acf6e49edabe6baa
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:7976f03741a175358c1635fa18613200df8f552e592cde02f2582f68056bdb99
|
|
|
GNAT SAS labs
|
876 KB |
sha256:9d8b5ea4dfae53078a7d6089eaedbed34828534ba374cee6675eddc89169cd6f
|
|
|
GNAT Static Analysis Suite
|
5.02 MB |
sha256:1ff2bfb1ac4fb8acd595769b216b6ef0dac166432be94ce00a8cba4e3364491e
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.83 MB |
sha256:c8cb6252d9cc5d46c7292c71f53aa300b84bdb88ea9179fae477fa97a9ebe3bf
|
|
|
GNAT Studio
|
2.78 MB |
sha256:dbec7da17a748ed2b1afe327fd9324540af4287c4621e6230a87f75504e738a0
|
|
|
GNAT Studio - Course
|
1.67 MB |
sha256:252053ad52837b45088277bb65ed00dc94cfe0aac578ec4006d41c8d07df3199
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:af18ab80d394795db902f45f339cac663e1eed4fdb4cc4195b465485d7bf3b4a
|
|
|
GNAT Toolchain - Gnat Toolchain
|
532 KB |
sha256:082b2e770042e97e733fcc5359651101039b8501a48cf02fa83be362712a2457
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:21f4eab2399a92d64dfd23a278413ac951f943ff20d3cb88a61938129861c0b3
|
|
|
Miscellaneous Tools
|
1.05 MB |
sha256:243c3634cf7cc9d4cba0ab017d7fcc6771ba62959b0c7a764a9749d5e5886569
|
|
|
Rust Essentials
|
6.7 MB |
sha256:0076700e864c7fcc6cb2cd887f703cc92df536db23e473de069a812560433207
|
|
|
Rust Essentials - Comprehensive Course
|
1.19 MB |
sha256:ededb97ae8d01d8830cb7793700c231bcc1098442c606fee262b7b8d4eb9cb3d
|
|
|
Rust Essentials - Standard Course
|
1.13 MB |
sha256:32024df30a07553fd6db5003e809b3fa54677421ad3e7ed869acd6d8f1a38e55
|
|
|
SPARK
|
8.16 MB |
sha256:ff7f7372cd7368b320c2ebdc5b90ed6b0fa0ad705716e62228545e3296f3afa6
|
|
|
SPARK - Standard Course
|
3.49 MB |
sha256:6ac6736cb58b78f843ab1c3660294f592a5bbee427fe30c6003c600144bd0f17
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:d7264df75f5b3cc4cf8c3baef9283c10fcc3925a0ffbaf6c38e1db4e7de320e7
|
|