Merge branch 'README_Fix' into 'master' #2067
adacore-bot
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
main.yaml
on: push
List-Courses
4s
Labs-Slides
1m 7s
Python scripts black lint check
7s
Contrib scripts check
1m 33s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
Expired
|
452 KB |
sha256:8df18403b2f644a46d850f283fd146dcb1c91f7f2a2864c925e95c49eeb1ca6c
|
|
|
Fundamentals Of Ada
Expired
|
24.8 MB |
sha256:854ab259b8a8ead8f44e1875a2fd44d0cd6521bcda09fe6377f95e37f7cdca84
|
|
|
Fundamentals Of Ada - Advanced
Expired
|
2.18 MB |
sha256:d87fc93720947dbd2c8505f93df13089e9b27759c93ef425f6a73b19aae7f2db
|
|
|
Fundamentals Of Ada - Opat
Expired
|
3.87 MB |
sha256:ea4988589c0f7c93c6b78fed63a87632e7f773f0f98ea76bd06d20bfadeee319
|
|
|
Fundamentals Of Ada - Standard Course
Expired
|
3.77 MB |
sha256:fd61c2693ea53bfc15ea41d06f760abcb29649a09da8d4a787fffb1b16ccc8af
|
|
|
GNAT Dynamic Analysis Suite
Expired
|
3.36 MB |
sha256:823ee5986c884d096cd288e6e17943c3a433f191e7458d26c130c99970b8e430
|
|
|
GNAT Project Facility
Expired
|
1.76 MB |
sha256:b91b6391e2183c05b3780975c150924dd9fca4e9b6452ae63f714382ef6472ab
|
|
|
GNAT Project Facility - Standard Course
Expired
|
519 KB |
sha256:378953a910b6cb5f13d6cac6a1adbd5d4f5ee963144843680fdfd01c65574066
|
|
|
GNAT Project Facility labs
Expired
|
870 KB |
sha256:3b7803645b60e1f7c4edfd9f3e9f7043f0071859adb33b6ad644a3abebfb0a09
|
|
|
GNAT SAS labs
Expired
|
876 KB |
sha256:b9fdf639acee2c6b35e4c68b32a21f64d5690b8d9766fea39b810d3bc62dc765
|
|
|
GNAT Static Analysis Suite
Expired
|
5.03 MB |
sha256:343c34122239cf74a640de2079349e6dd32ab389113d9b428d8dac65540a7637
|
|
|
GNAT Studio
Expired
|
2.78 MB |
sha256:ae4e4bce0d476b28d7c0a723ad71c14b62ed360fc4a82fc633e29f3929a2b1cd
|
|
|
GNAT Studio - Course
Expired
|
1.64 MB |
sha256:a68b50bfa0381c61cafdbe11183698295aee2b83cd7b245192ecbd846e429f16
|
|
|
GNAT Toolchain
Expired
|
1.04 MB |
sha256:b08b876965bc2a02a58b29cb82554a713b157ed265cd45a0f71b63936a16e82b
|
|
|
GNAT Toolchain - Gnat Toolchain
Expired
|
526 KB |
sha256:d4071216b20ba22804ae04b89d90bd2db98d9999110b59e28d44c13ae915f810
|
|
|
Mini Project - Mini Cinema
Expired
|
331 KB |
sha256:2f437e58220786d619dbfb34d703ddcbcbfe80fca8c5861af739856cc2662db5
|
|
|
SPARK
Expired
|
7.92 MB |
sha256:a5411fb59e503df5bbc69efdfd6c1d29ce4dc2c153f46fa03ef8dcf46e8af9bc
|
|
|
SPARK - Course
Expired
|
3.38 MB |
sha256:497da701a9dd08fa626ef03c7496b8e44b18735d464e141e30187885de5baf76
|
|
|
Static Analysis Via Compiler
Expired
|
838 KB |
sha256:fa57c4acdc29e3ffbeea11009b620284125129acd0445050e8bcbda9ad4641e0
|
|