Fix more exercises #2467
adacore-botmain.yaml
on: push
List-Courses
4s
Labs-Slides
1m 6s
Python scripts black lint check
7s
Contrib scripts check
1m 12s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
|
452 KB |
sha256:a7037e2269b11a997f6de497527454972989c03cd70cb27d5e258110b2009bda
|
|
|
Comprehensive Rust Training
|
6.13 MB |
sha256:73fcf1e7fc40ef0d35e293fa4c2e6be2ee6b02fa07e5a639cf9281561fbd865b
|
|
|
Comprehensive Rust Training - Comprehensive Course
|
1.05 MB |
sha256:ff5817116f3c9fcbab6fa79b3835cfea2f0266daff02d729eee846c70ccfc954
|
|
|
Comprehensive Rust Training - Standard Course
|
1.01 MB |
sha256:bf51bf7140f0f631d7c5511c073ce5cbc4a7467ccf3c899bb6486c7bfbe23ec1
|
|
|
Fundamentals Of Ada
|
25.1 MB |
sha256:cb2ea9ca87888ffc92d6795b5802fa27c3dc542498590475169e06786bd6f686
|
|
|
Fundamentals Of Ada - Advanced
|
2.17 MB |
sha256:ad6c76da865534cd19f2ddbb861f928d6f9ee6e2579b85bab139f221b6c73ea3
|
|
|
Fundamentals Of Ada - Opat
|
4.11 MB |
sha256:b814c6b9f126900b24e266eaacb94324d32d671c2d5ac758f0c162ea6bba8580
|
|
|
Fundamentals Of Ada - Standard Course
|
4 MB |
sha256:812d8f9138e85d6c75b6c15cba4e8a76d81df89117d9a93c260f1901e3bcde4a
|
|
|
GNAT Dynamic Analysis Suite
|
3.36 MB |
sha256:3a4b4fb4ab3868bb6e57b4c6a33414a375bc5b8b5d84bdef4236803fc862a32f
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:ec3440a1b8c09121c9dc6ce364ccf064c2dcb29755341154994253ed98773ad6
|
|
|
GNAT Project Facility - Standard Course
|
527 KB |
sha256:5167f8fa3bbe98bb4b015058d3585bec8a1d7c20cf2e3f8e37d8367fc9389633
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:fc60f4390ea3431abdb5575668fefac4efe440504001b9c334847ceec5f0b694
|
|
|
GNAT SAS labs
|
876 KB |
sha256:9db9fc471066e389645aa64d543313b0b5758c1d1a5dcb0479588915d527eca4
|
|
|
GNAT Static Analysis Suite
|
5.03 MB |
sha256:e0025be03d2e7c6dc48a3bb0780fc2ab06a588c8ada20f0c053bf789756632ef
|
|
|
GNAT Studio
|
2.78 MB |
sha256:fde4095a142674529ce414f77865cc2417c1242d1a00e0d34c7e113e671c4b22
|
|
|
GNAT Studio - Course
|
1.64 MB |
sha256:5ee154869a243fb4addd1d03d93842ac3e0cf8224905209e6ee2935a848c48c1
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:121b7dfd477f993a8ce1858f7e282c8b86b27ded0ce66b97290945c1886ef8ef
|
|
|
GNAT Toolchain - Gnat Toolchain
|
526 KB |
sha256:3adb99ddbcfb175f74315e7e0e05f881b539dfb9270895246b14c188d1add898
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:efc5126d961dada2ce4155b12eff127c00abb50e310ff09e6097eebdbe5a1f01
|
|
|
Miscellaneous Tools
|
665 KB |
sha256:21077c8772f00cab2a2d6e9653045ca70972c37202610db80af96ddb255fa000
|
|
|
Rust Essentials
|
528 KB |
sha256:87317fdc82badfbf2b614dfd6a619127379a20edc2b116b3522e638bd47f9424
|
|
|
Rust Essentials - Standard Course
|
528 KB |
sha256:f32d48a1a28fc9f5b981f2b5ac048943a13bd69a0ca2c87ebdb190fa5c7ff352
|
|
|
SPARK
|
7.92 MB |
sha256:8ea9170d95ccef290b8de640d13759e6b0c5abb38bbef524dae6c90a41171f22
|
|
|
SPARK - Course
|
3.38 MB |
sha256:893088909e2d8f9598734b0186fbb4abb87cf08b4077268542f65bad0e0343c1
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:9e71e1cd380b9bde51a9fbe5082b4b8cfce7a6b100b7510604a1ddf8bb48a061
|
|