Clean up Predefined Declarations slide #3640
adacore-botmain.yaml
on: push
List-Courses
3s
Labs-Slides
1m 5s
Python scripts black lint check
9s
Contrib scripts check
1m 11s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.5 MB |
sha256:0583a84c547c31eee8b2d729bd027538928952501c962aec2a5e293d40cdcbf5
|
|
|
Ada Essentials - Advanced
|
2.16 MB |
sha256:9b23c1868ba21aecf61ce394e5cf70f18305b0a3fbd0b05d17ca8cc2f3beb808
|
|
|
Ada Essentials - Standard Course
|
4 MB |
sha256:92240935fe49901b02a6196893bbf826c8db1686e5f64b95dcce91ff02b9ea06
|
|
|
Advanced Exception Analysis
|
452 KB |
sha256:8a7b08a8011f789c53b68ea864d499b3c2b34377e42bafb2130573599dc3ae38
|
|
|
GNAT Dynamic Analysis Suite
|
3.37 MB |
sha256:a31f56aef99fd08ab60fb33ac56628806f65ca039a485a71e0ee89ed9a134a81
|
|
|
GNAT Dynamic Analysis Suite - Standard Course
|
1.09 MB |
sha256:923bee9c566507113a4a543a3bed2db64b2b8e8ffcedb2229d4f17e21706a2c3
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:3b80a471c5db8e784fbf77cb80d5ee16c044746bc5241e81373f6295e6c249a0
|
|
|
GNAT Project Facility - Standard Course
|
560 KB |
sha256:8cf8e8b7f8a80cabdfaf67df06e4865b866ff99a03b7bf902285f0ae59f3ac99
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:49870989cb0688619ad09aeb35a0137623d924bf87d4637a229894d947644667
|
|
|
GNAT SAS labs
|
876 KB |
sha256:2835a393dd2aca6978624486b0a152be4de46f35232a638e5162f69accac22f2
|
|
|
GNAT Static Analysis Suite
|
5.02 MB |
sha256:a139b89ae95beab56bb91b89629bba727118dcd5d00f051ba5d752de315cf7dc
|
|
|
GNAT Static Analysis Suite - Standard Course
|
1.83 MB |
sha256:12036aa66db11028c08d889f197a7dd2615fba589350e5f541458018a1ef8f26
|
|
|
GNAT Studio
|
2.78 MB |
sha256:133d61c82df7441e9d84db444daa564b2f70c43663c8572909adbd6408e4e59a
|
|
|
GNAT Studio - Course
|
1.67 MB |
sha256:3ff32c07983374921a2bb8682c84c28931b63b676ca9a4c8347e7a8821abc136
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:bfca51d56c6e7f84592d6a5ce29bc3062126afcb24ae3ee648f32f9f61315607
|
|
|
GNAT Toolchain - Gnat Toolchain
|
532 KB |
sha256:7c307d1ab4a3e84bc58ef8446da480cdc082ea11feb982fc2b3898b22ebc0bf4
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:687a23e8d03fd2fa7b66c2d432a9a7487e455aaf66e8858479d8d2e39328b8b9
|
|
|
Miscellaneous Tools
|
1.05 MB |
sha256:0c3b57a398516b5380022b6d21edacddea99067d329c7b33b65d6e99ecce04b4
|
|
|
Rust Essentials
|
6.83 MB |
sha256:11bb8bdac0c1bc790da41b627508059afce0a2372903cd736ce3c61e43c21efb
|
|
|
Rust Essentials - Comprehensive Course
|
1.22 MB |
sha256:b8b43957853cf6e1000692a39870c9a7271a0677e63f0a645881c2c9beec7eae
|
|
|
Rust Essentials - Standard Course
|
1.16 MB |
sha256:d910704885b7e1fd8a440959a89fb1088a41aa4cf29c466fbb19cb65bc9f8b65
|
|
|
SPARK
|
8.16 MB |
sha256:b021b1356e4cf2bc7954e7af15546ebe6a79ec35f73dc5b97ec639f6e5765a70
|
|
|
SPARK - Standard Course
|
3.49 MB |
sha256:d585d9519935488ee1d6a5b89b3b98be0f4bcc0b179124e8aef7dd8213030e2f
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:1c950b9f7e3b1cec0d9c86704cb2877fee3c969f9e439c08d12323d97293cbbb
|
|