Fix rightarrow issue #4730
adacore-botmain.yaml
on: push
List-Courses
4s
Labs-Slides
1m 1s
Python scripts black lint check
9s
Contrib scripts check
1m 24s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.2 MB |
sha256:022a5f942210f9f6e14f16b57359917f1e286c1213722d450fd1aa681908a71a
|
|
|
Ada Essentials - Ada95 Course
|
3.28 MB |
sha256:597c2544bde01b0dbd1ddbe07bd49a18eae15a8dcff24c9fcbae0d8e40fbc29e
|
|
|
Ada Essentials - Advanced
|
2.35 MB |
sha256:ab5bac7053327b528b43118fb1bc2549ad4fb9dfc3caeb07428c65794e1a913c
|
|
|
Ada Essentials - Standard Course
|
3.53 MB |
sha256:c965b5870a0aef6692fb9b9dc64cdb4ab2df68d26b6f60f3a9975e9a5a1af232
|
|
|
Advanced Exception Analysis
|
446 KB |
sha256:dc5454f94c73c4e63e306300016faa4b6f527023dc9588eaf453070da4e0f383
|
|
|
GNAT Dynamic Analysis Suite
|
3.38 MB |
sha256:634fae63951ad2985397fa3d8148cf856acee31e2ab584c5d6685b9c070f0d01
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.1 MB |
sha256:b5803edd12d479e7241ca6b2eb5f6c1b98bffcac705a5d27bc5ce7dc3a1167bd
|
|
|
GNAT Project Facility
|
1.85 MB |
sha256:67cbfa16ac1a052eec15f455099922cef41df52161fceaf1e6f778f63040b5de
|
|
|
GNAT Project Facility - Standard Course
|
597 KB |
sha256:ed08bfcffedea26ca525dbdabd04129bda5412e9f19c81bd9ed5d0124345ee3f
|
|
|
GNAT Project Facility labs
|
850 KB |
sha256:4b050530d4f3cbad2d815e7ad8ad48dc78d47c560b96b0ba7dad7d2fec59eb7e
|
|
|
GNAT SAS labs
|
900 KB |
sha256:cffb50d4e6fa06b5a9db33d847cb27b0989a1e71de94e228441e9636fb9612d4
|
|
|
GNAT Static Analysis Suite
|
5.03 MB |
sha256:9d237d582453f489836c1212b1cdc1e18e1f07d770636b898868652fe9957cb8
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.87 MB |
sha256:9358e9e6853bd97831dbe2ac613664d42b57e298251e655063a6179e5f7ef837
|
|
|
GNAT Studio
|
2.82 MB |
sha256:b18994ad7c19b2850eccb1e9c8deb698b1f878c4bd982ce8d0e3c131cfcd3c1e
|
|
|
GNAT Studio - Course
|
1.68 MB |
sha256:694dbd209cee51553f2e8bd6c88d59d3afb6e7df1688b0e8676b6886cd20e2ff
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:180b01e7dddc8cc92df5b517190deaf4d795001da795a2b1c42949882d856bf5
|
|
|
GNAT Toolchain - Gnat Toolchain
|
538 KB |
sha256:c48ae38416b57e83cdecc6a86a1cdbac409ea250c643aea02c1701692fc31eaf
|
|
|
Mini Project - Mini Cinema
|
325 KB |
sha256:301916819cba8c6be60eca4f8dabe123c2bd522ecb67fd83c9f5c90d869137c0
|
|
|
Miscellaneous Tools
|
1.04 MB |
sha256:f01d5d6ab0100e2419b142feb85c8cfc470b4f7486962875da4dcf45b9878392
|
|
|
Rust Essentials
|
8.23 MB |
sha256:c9ef4f406a2b0ecdc69fa026ed8a5b10ab4f25b93837b097b9ab25f652fe2bfd
|
|
|
Rust Essentials - Standard Course
|
1.54 MB |
sha256:a1cfcc74cd7766f7cdc9c65d3ad645f045d54ef4f2e52caf3794fefbaede049b
|
|
|
SPARK
|
8.26 MB |
sha256:4aad99ca4d9049e08784391440d89f8f942c3df7b3f6135971cd2951f963c0c4
|
|
|
SPARK - Standard Course
|
3.68 MB |
sha256:8c0f15736cdb5841feababe3334268765693df6d27e6045022f132954552ee26
|
|
|
Static Analysis Via Compiler
|
551 KB |
sha256:acefb7cd9bf666f5cc488575897702723d66bf34cbc4200d32092aefb9ba7fcc
|
|