A little more cleanup on core vs special #3022
adacore-botmain.yaml
on: push
List-Courses
3s
Labs-Slides
1m 9s
Python scripts black lint check
9s
Contrib scripts check
1m 17s
Matrix: Labs
Matrix: Slides
Annotations
1 warning
|
Slides (rust_essentials)
Docker pull failed with exit code 1, back off 7.953 seconds before retry.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Ada Essentials
|
26.1 MB |
sha256:b0b402056e6e49623b4c67735de0c8c615b83d029ee1b64cc9bd841486838a14
|
|
|
Ada Essentials - Advanced
|
2.2 MB |
sha256:000ab1fbafa87069f4053bca1036e88ba29c5503a62cab937cca55433e68f43e
|
|
|
Ada Essentials - Standard Course
|
4.2 MB |
sha256:6eb133d75071cab4f144acf1c825fbc681d69a69e03c62f25623d38a83aa456e
|
|
|
Advanced Exception Analysis
|
452 KB |
sha256:050f988d12cce39a2ecfbf9f1ace9dd28f164eefe1c4e8dd7a270a46d5f98ffc
|
|
|
GNAT Dynamic Analysis Suite
|
3.36 MB |
sha256:e263a5861e7daf1f9ce4c04ff488484bd8e6d2e8977adf39f16d78c342443680
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:9a25d3938b8e072078a4f56381ccefd74b15f6cbb637021b332992f2fcc19ab0
|
|
|
GNAT Project Facility - Standard Course
|
560 KB |
sha256:fd059e0dc9a652f780374e564c20b72205966b20c13cbd55aeee14f3990b11f1
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:a8e4d283b29deaa339ffd9e3d3e136ac50db90dee4fa304ceb9f227153c059e6
|
|
|
GNAT SAS labs
|
876 KB |
sha256:15012dd1bb25b28ef8fcd3581e99d130e209926a66289696fd55c39d07386de9
|
|
|
GNAT Static Analysis Suite
|
5.03 MB |
sha256:061d2578dc7bad14c182047a9e437fd63947729481e79ef1b71d6e3f86d36c93
|
|
|
GNAT Studio
|
2.78 MB |
sha256:5d3c8d91e39fa72104e6d4744736fda637a9ce7d7f0c9b580d72e4be5ae452c1
|
|
|
GNAT Studio - Course
|
1.67 MB |
sha256:057e953e451773e5809bb8846786a214141694e5f3b547b23edd9384a1046d7b
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:1a9cdc35c44e52bbd3da5fb4eeeb7ae5d9acfb51c2c9231c650dfa3aceea424c
|
|
|
GNAT Toolchain - Gnat Toolchain
|
532 KB |
sha256:f401a6de9fbe867d5321d51216d95e47557d8ef6184c5360b7b17e33ad879ca5
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:760b9f41d3b9d759fc9b18ca4641ed527c39bc73fb968e15e922c6da2530cb3c
|
|
|
Miscellaneous Tools
|
1.05 MB |
sha256:7a685b4dd38df575a7ea4cf65093dcbd4d63011bfc08a15134596b6ee620767b
|
|
|
Rust Essentials
|
6.35 MB |
sha256:2875233b08096c8df3d1dd4d2668c34620374f342958c90f31371291bdae4596
|
|
|
Rust Essentials - Comprehensive Course
|
1.14 MB |
sha256:72c0dd9135215e63ce01b0a59769e71e2a5b5c319470631a56e0cca7de573e49
|
|
|
Rust Essentials - Standard Course
|
1.08 MB |
sha256:ff22d7b13ae1e59635d8ba4bd33a9b3680b087c830d8c2149a65a59a3af8d160
|
|
|
SPARK
|
8.19 MB |
sha256:60fca612e4b406e1bfeea83d1ba9ecb85a8ff952aee9c99e0e9b995cab3d452b
|
|
|
SPARK - Standard Course
|
3.53 MB |
sha256:c4b35a24d926e27510a10294b110b34a2c78e381d74a4a13b185fc5f87c78936
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:f8ca90c4c4501ab7b97570c9ead20e4ea7d67a43bb06cdb78baef37b2a181121
|
|