Updated the style guide #3671
adacore-botmain.yaml
on: push
List-Courses
3s
Labs-Slides
1m 6s
Python scripts black lint check
11s
Contrib scripts check
1m 24s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.4 MB |
sha256:05cc1551a05b20ea360d677b65500d9435edced37a2061b501574a00d2177c56
|
|
|
Ada Essentials - Advanced
|
2.14 MB |
sha256:6cef103ff5e95aed41a5b368b0adef3a3200299c9ccea78bb6ff0a9ef5e577e9
|
|
|
Ada Essentials - Standard Course
|
3.98 MB |
sha256:a751d38c1eb0f2b4a924b11c0067da1bea9dd291d21c8b9f1286d3a6487a0168
|
|
|
Advanced Exception Analysis
|
452 KB |
sha256:bcc5fcd68206b376c39cf52a5fae61823f045d8da87c0705877cf7fdae0509b6
|
|
|
GNAT Dynamic Analysis Suite
|
3.37 MB |
sha256:11f5116644db2784bb0dcd04c7c8b8f54b7b925d83c0c1d4c926ba7765b09eff
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.09 MB |
sha256:370576f068b30950e2ca994ccb492cefed24bfe78ebb76bad88f2bd2d3893951
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:150bbb1ce8c8a5a0a6dcacbfc936762140cec9b7178018e3bcc67f40a3410399
|
|
|
GNAT Project Facility - Standard Course
|
560 KB |
sha256:c53536ca5101f6290d38c6735dfa7ac22e2c47fe13db468101268c92ec03723a
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:d691c968dbe3cb592bd1cda3596f3e86e5cb8e6767bb45cb52985f512e899cf6
|
|
|
GNAT SAS labs
|
876 KB |
sha256:5bdf7bb3f51003a22e5ec77b0b3561ffb15fb34511ebe6ff33e80b80f9c4819b
|
|
|
GNAT Static Analysis Suite
|
5.02 MB |
sha256:7c6c41eada92d17a8dec1137f8b7a5ff29a34a7b4055e86a2e879a1fb6bb6271
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.83 MB |
sha256:ab61062afb0ee7fb0bb06c5a1218397d6b904caf6f4a683c0c73162808efc87d
|
|
|
GNAT Studio
|
2.78 MB |
sha256:8c9faf84875015c1dbdbdc7bcb00c60f515690c3e2e86f1957c5bc760ed13d5b
|
|
|
GNAT Studio - Course
|
1.67 MB |
sha256:b0c88708435d6b511fa23211388fb8668ceac275eaaf15b0a6313c737d8a797f
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:2479eaa785bf894a53901721d9c737147b0157cad680a9d6fb60e37811917859
|
|
|
GNAT Toolchain - Gnat Toolchain
|
532 KB |
sha256:419011d1b85a30aee5a542e2b68818b9c5e5eaa09e29e1f439389de3ba953826
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:d2103ef1ddc23d6a1d934d540fc124f5f504185287ce6470fac27b4a220dcd61
|
|
|
Miscellaneous Tools
|
1.05 MB |
sha256:a6602626f188945a60290cc07831010d9b4e6fa7bdd1ed8ac0a0f3b62b57b20c
|
|
|
Rust Essentials
|
6.83 MB |
sha256:84cec6ae0ad40665b3f2e480e82e419545068350a97adb1de3db88c2c582e2fb
|
|
|
Rust Essentials - Comprehensive Course
|
1.22 MB |
sha256:de5559c99331c07e9524855a948fe40aa9c8768f342e4fb26ba51d678d338abe
|
|
|
Rust Essentials - Standard Course
|
1.16 MB |
sha256:eeb12e6697bdff7f83920a8c95d3ce259f03b027814cd1b412c49336d9d07dfd
|
|
|
SPARK
|
8.16 MB |
sha256:3eb33665fce2033ca86675b6c0c5e923f26ed48dc90975f8828b9d29412c1d2c
|
|
|
SPARK - Standard Course
|
3.49 MB |
sha256:77660f3ffb055e7e7d2e489a8d1bf2d8d6b2c880c210dbcf65769fe540c7dd4f
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:a151ddc880a681541fd674a2b4f1404482054bd02a2016b7331802d9698cb435
|
|