Examples of issues gnatstack can detect #2477
adacore-botmain.yaml
on: push
List-Courses
5s
Labs-Slides
1m 16s
Python scripts black lint check
6s
Contrib scripts check
1m 11s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
|
452 KB |
sha256:ebecf2c7b997fe7954f337f010e3d50bd949323afa54dbf446fbf98cf9e8721d
|
|
|
Comprehensive Rust Training
|
5.92 MB |
sha256:e0205fa57b170e1d6b9456463dd0a96591691f5c5e4a445348eb8cce20fe1b8c
|
|
|
Comprehensive Rust Training - Comprehensive Course
|
1010 KB |
sha256:4fc478aaa95ce8b21bfe634d9a05642131aa42c6358bac7c1af6c93b717c8947
|
|
|
Comprehensive Rust Training - Standard Course
|
969 KB |
sha256:7333c920284e2480d4971b5ca073edfb40ff32f8ae312d2824d85fcdb8cd075a
|
|
|
Fundamentals Of Ada
|
25.1 MB |
sha256:51a8618616bfdecf90fce0f9acdfd2a10f1c769a71394b9b87052e3cfcd1c6c9
|
|
|
Fundamentals Of Ada - Advanced
|
2.17 MB |
sha256:c8fc38a2bb77fe4d7208ea7b5e1a1dda8e1a73ee4132bc58dcc7003532a2a631
|
|
|
Fundamentals Of Ada - Opat
|
4.11 MB |
sha256:21be8d93461bf825836ebef0e1c3112b21b49d5fcba913f79bf5a96fd5227246
|
|
|
Fundamentals Of Ada - Standard Course
|
4 MB |
sha256:1806f53221ef1fa07b3c49524e8e01895f53b60241244112c9656bd90955f9d4
|
|
|
GNAT Dynamic Analysis Suite
|
3.36 MB |
sha256:8145af743e5e941173d86d91edc77198f02ef8f307eef8e33bfc062ee1d98076
|
|
|
GNAT Project Facility
|
1.77 MB |
sha256:aeca99f6065c890405dd9b39add813272123d6d16a42d9b477065fe9905818f3
|
|
|
GNAT Project Facility - Standard Course
|
527 KB |
sha256:64ff0adbae659dfdfc3d33bf85565b807e3ccebca4cd5bebe0cf50839b14b998
|
|
|
GNAT Project Facility labs
|
870 KB |
sha256:e4dd14fb84c33883d482087447cabff27e390ad684430a5ae75362c065b1c395
|
|
|
GNAT SAS labs
|
876 KB |
sha256:cbe8d1b9347d3cfea116f8d6c84c9ef8b4ca5fc959cf3f57930317335a203e57
|
|
|
GNAT Static Analysis Suite
|
5.03 MB |
sha256:a73fe6393c79a239a6fdc45fb6b45e3f83f56293509f8105ed1e5dbc606d7691
|
|
|
GNAT Studio
|
2.78 MB |
sha256:f035542ef13ebc9425915ca9498654f63434fe546499f8945d3637f0738d0294
|
|
|
GNAT Studio - Course
|
1.64 MB |
sha256:0bf3130bc369d07683d60332ce0607310b1f4044affe4cc2c063a043913627d3
|
|
|
GNAT Toolchain
|
1.04 MB |
sha256:7f8de5df88cc5ff4091e4ab034adcdc94233064b5e0281442fc19d7929b3f88c
|
|
|
GNAT Toolchain - Gnat Toolchain
|
526 KB |
sha256:1266c5d3adc51664be95029d1beaf324019babad576ecf0d9553fccd374b0e18
|
|
|
Mini Project - Mini Cinema
|
331 KB |
sha256:4497e3e0e548aed7f2a39912a9ebbdabc4c516179a8d997a6cbffeecb9da0842
|
|
|
Miscellaneous Tools
|
992 KB |
sha256:4bdedc81b737af1fe21ad055b89570dac55764ec090a94aab6807fcabda9d4c9
|
|
|
Rust Essentials
|
528 KB |
sha256:9a21550005384f01dec1c3e76ddb614d38ca995ea190e22c999c7b7310ccacea
|
|
|
Rust Essentials - Standard Course
|
528 KB |
sha256:ef33da110ad74f1fee1f3b825c5ae593154dd7e4cbb4db3d040e661851ebdd21
|
|
|
SPARK
|
7.92 MB |
sha256:14f64bb5924800e312b653a2fc363013554f9963cba94e65ecab86189789f19b
|
|
|
SPARK - Course
|
3.38 MB |
sha256:08921f61f09fbe4a7851d8d25d9e7858fa4400a2ea467946309df6805f09bc8e
|
|
|
Static Analysis Via Compiler
|
838 KB |
sha256:4c17281025ee7f51e3852d0af75973fb4c022f8b2b90f08cb11401502e7eb90f
|
|