Add framework for GNATstack module #2476
adacore-botmain.yaml
on: push
List-Courses
7s
Labs-Slides
1m 8s
Python scripts black lint check
8s
Contrib scripts check
1m 24s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
|
452 KB |
sha256:87cf8fd8ca159d03a9057b932d7b23404c5b866e11af74ba9d28782593bf49ea
|
|
|
Comprehensive Rust Training
|
5.92 MB |
sha256:8e6b257af30a210f3d1245f2196aa8e4876cc1f4fba1428bb0d6e1009ee42ae6
|
|
|
Comprehensive Rust Training - Comprehensive Course
|
1010 KB |
sha256:8ec55f7439c9623b435d8b12da437d55455005ecb0046f322a7ddef3b4614517
|
|
|
Comprehensive Rust Training - Standard Course
|
969 KB |
sha256:2d0f4a9ce30c56e28778777a04a5013cce4958d392fb6afd5df6381b1c55de6a
|
|
|
Fundamentals Of Ada
|
25.1 MB |
sha256:cc8dfb51246870cc5bdc328c5c7a9322a4fbf8aec16b4b4ddbc1499557d62fda
|
|
|
Fundamentals Of Ada - Advanced
|
2.17 MB |
sha256:e10211e80de12d54514f63e1cc8cab9127ab6be6ac8e2f37983e6747a50eaa57
|
|
|
Fundamentals Of Ada - Opat
|
4.11 MB |
sha256:dacdec780b9d0e6529b7b27278d40834473e3e96cde9b8c00665d0c27e0af64f
|
|
|
Fundamentals Of Ada - Standard Course
|
4 MB |
sha256:3349133e95be269623c7b735ed262ae7aeb629d328db8979c4b1e4f98d9ee69a
|
|
|
GNAT Dynamic Analysis Suite
|
3.36 MB |
sha256:4a1df0f18ddc1e79de7b3fcde9121939ae2a4621f6b377446fcb8b18b618eaaa
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:8a0ea4b844a469a8ac7614d17bbf2f24375302931a073ff57739e695f3b0cc61
|
|
|
GNAT Project Facility - Standard Course
|
527 KB |
sha256:951480efda11851375dfe0bb7c37aa35b399a0a0376db72c7c0182498daece07
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:c548acb1f0a7bd6246b49a1957fcf6f0189e8b925e1634fa1171079276cda6d1
|
|
|
GNAT SAS labs
|
876 KB |
sha256:5f44ce7d08bd249d340d43621f323db7e6bfd0d662b1d45dc47d98965e8c974e
|
|
|
GNAT Static Analysis Suite
|
5.03 MB |
sha256:d95b3ec4b4c6c7faae443c7251c3ee28dbf12e039055d7cc349167c68e253b27
|
|
|
GNAT Studio
|
2.78 MB |
sha256:74f2cfba849d9bcc73e8a017710ab82710a372cd6eca22f30381e11561857a3c
|
|
|
GNAT Studio - Course
|
1.64 MB |
sha256:6963641c72e68231da619e7b730f578e8d01c0f9cc667b3a814e6e313a2e9023
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:bef7442e7eef3c2ff0dc609160b390488194b22284be80918dc0e5e4ef521343
|
|
|
GNAT Toolchain - Gnat Toolchain
|
526 KB |
sha256:30e2b0a0091606a9a73e16e8d617f77c8e9696e31c6dfb0680106515d2ea96c5
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:c14fd46bcf176601d8caac83e73f4b502da8ecc706b211d090d78b26bfcfaf04
|
|
|
Miscellaneous Tools
|
974 KB |
sha256:eb9f0a4cf85b9b011e36bfb63410cf1dd39f00ca8adfbfed6ea856d3322f9dc5
|
|
|
Rust Essentials
|
528 KB |
sha256:f3e25c7c4ae5adde652ae4fe1417d3e4feb04fc17cc862e2a49db8f7c0e528f6
|
|
|
Rust Essentials - Standard Course
|
528 KB |
sha256:938345f01f1ef9ec6e020b92d6d3b4e14396246431a9bc75102c7f4dcbb9b6c8
|
|
|
SPARK
|
7.92 MB |
sha256:d11146cadfebc4898b2bc4f3cdf1eb35cd4ff39f53006c9cbbec599a2dfed460
|
|
|
SPARK - Course
|
3.38 MB |
sha256:8ae177d5e2d08736f726e1f8daa5853c82c83b467c7ae2cd6aac0c37ed18d4fc
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:65059b4ed2a587fc58cc77d243fa4724e90c897a3d73b8d83ddc64f9370639b3
|
|