Add lab for GNATstack #2480
adacore-botmain.yaml
on: push
List-Courses
5s
Labs-Slides
1m 1s
Python scripts black lint check
8s
Contrib scripts check
1m 22s
Matrix: Labs
Matrix: Slides
Annotations
1 warning
|
Slides (gnat_project_facility)
Docker pull failed with exit code 1, back off 8.081 seconds before retry.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
|
452 KB |
sha256:ce1b6a176bd7911be05b71adc610a28b737bd40e87b0c566ec15976327f96a83
|
|
|
Comprehensive Rust Training
|
5.92 MB |
sha256:5a2ee46f343de0a94608bc88207014f8a5816f0dd14be13c00fe4a0961671902
|
|
|
Comprehensive Rust Training - Comprehensive Course
|
1010 KB |
sha256:ee5481033d3463abcbf02f2ac94d38042c5d2cb8245b2c656ce5d7b26425e427
|
|
|
Comprehensive Rust Training - Standard Course
|
969 KB |
sha256:c6ff198649037c139546a86d70522e293a19250813f36940fb90e310aa87ee5f
|
|
|
Fundamentals Of Ada
|
25.1 MB |
sha256:15ddff62e4d8b2ad5088dc8b25e59d819044a1b73a67d5b192f701fa4efeedc8
|
|
|
Fundamentals Of Ada - Advanced
|
2.17 MB |
sha256:05305de7f48254157fc28490703d63ca28fdddbda8134251564b42c95ef13cfa
|
|
|
Fundamentals Of Ada - Opat
|
4.11 MB |
sha256:e82789602916fbf65d916457f0ca3909b91625098a72dd36fc3e10511b9425cc
|
|
|
Fundamentals Of Ada - Standard Course
|
4 MB |
sha256:bbcfd694b6ec32dc968a24f8c9b0fee11addc1058b7b52c175b18766dd9e8920
|
|
|
GNAT Dynamic Analysis Suite
|
3.36 MB |
sha256:13e7dd0d6b84b095380ba3347e97367cdd0504365c425ac9f14ce709a3407244
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:81f58976b48e156a3f0cf8ded87a2ddae346df6d3c7e0cb540fbe0df38524a6d
|
|
|
GNAT Project Facility - Standard Course
|
527 KB |
sha256:e0e15c6a6cd1f254c4d39827d7941e05a4162a4bd0f37ddc2e4e5e730254a8ca
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:437d4b7af5801101f3d5ad2b9564883daf316df66941f503fd1dbd8d4cd0c9a6
|
|
|
GNAT SAS labs
|
876 KB |
sha256:9cca268bbce6a0dcc916a551d267774429d7c67fab341a59db952462cd0a9fa6
|
|
|
GNAT Static Analysis Suite
|
5.03 MB |
sha256:5f1aed1e90f40832072a83b1ac53b876c90a7e3238c027b91ec5ffbe62131e45
|
|
|
GNAT Studio
|
2.78 MB |
sha256:2bea7bd8cb4b4968cc4e2a94f1e7ea0d893e68a90fde75a68c9fa4537f723dc8
|
|
|
GNAT Studio - Course
|
1.64 MB |
sha256:f49a00cb575b49467714a7426cff732e3d7b93af68f6f9a53b52569e8146bead
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:592afdeeedd2886f252342bf776cabfefa386a6cc8dac69b01b8fb04dac209fa
|
|
|
GNAT Toolchain - Gnat Toolchain
|
526 KB |
sha256:ccb471dd74871c38251225fc53c655fc47efdafcfdb64831faf90ed7f62c235d
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:355ca0e2a4251e030cd14ec0803c9eb82aeff1f7a9075cb11cbc5ca8e396aca8
|
|
|
Miscellaneous Tools
|
1.04 MB |
sha256:2eddf66baf9e889bd4ae62ebcef154ac1f7fc09b78217ebd8594091e958c06cc
|
|
|
Rust Essentials
|
528 KB |
sha256:7384f1768475ea9a365d8d6d58b2cc17b15d4f787543de9fb67edfba3749167f
|
|
|
Rust Essentials - Standard Course
|
528 KB |
sha256:88dcc1daab043d306a5e25c1c285515a7bf1c7b8974e4b2cb5b385b85790d22b
|
|
|
SPARK
|
7.92 MB |
sha256:36b7537a1939fd45698d30008f254e48f72487013f52a2a4b1d5ccdc3d1064c0
|
|
|
SPARK - Course
|
3.38 MB |
sha256:2c2272e402733dcf9aeb81628ee2d72d43c6c0bc8d5dd971279c5c7b3070c119
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:98cd0b030a12d016c1a6fd64313c6a3ed89e2930a8e32c810385c457ad8e0276
|
|