Merge branch 'slides/178-2024-11-04_sas_das' into 'master' #2028
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
8s
Labs-Slides
1m 3s
Python scripts black lint check
6s
Contrib scripts check
1m 13s
Matrix: Labs
Matrix: Slides
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
Expired
|
452 KB |
sha256:c77bdb451f7cca0a4f30137a6b1b3b80e6b7408bc41b38560aacfc6561564704
|
|
|
Fundamentals Of Ada
Expired
|
24.8 MB |
sha256:567190bb0e1baca6a73ddf28074f4247c360131c2bde7ac187ff9b5d195a159e
|
|
|
Fundamentals Of Ada - Advanced
Expired
|
2.18 MB |
sha256:685906a418877a93dd422d4a7a015ad438d10d637e5a1c11506c0abd79bf0dda
|
|
|
Fundamentals Of Ada - Opat
Expired
|
3.87 MB |
sha256:f44d1f47dcc56d4636c71006cc4022fbc8c287463eedf24b85f1c3650844f9cd
|
|
|
Fundamentals Of Ada - Standard Course
Expired
|
3.77 MB |
sha256:ebedbd204941fb39d8449d035cb75e9640f7a33ff0e4e046a9dd1499e1dc000e
|
|
|
GNAT Dynamic Analysis Suite
Expired
|
3.37 MB |
sha256:33795591eb2d2096990ae7a7cb0b43e3371a03b4810c70d3918ce43ec3892acf
|
|
|
GNAT Project Facility
Expired
|
1.76 MB |
sha256:dac3d39aacda784596936ec4e4f701d7f7c9c31564acb2d4162bec23786691ad
|
|
|
GNAT Project Facility - Standard Course
Expired
|
519 KB |
sha256:d1ee420b1c19a1bee6cf62905eaf97e8a55e6b17c718559c5654db0713a1fbf2
|
|
|
GNAT Project Facility labs
Expired
|
870 KB |
sha256:78ab5756f8bc4654fd807b06a0d2dcca53b33f5abad04d1bb401a282f467c4b9
|
|
|
GNAT SAS labs
Expired
|
876 KB |
sha256:6f5f78ad9824e0c19e4b54dc4c44a45a02dab7b797435bdf1341a060aa766949
|
|
|
GNAT Static Analysis Suite
Expired
|
5.05 MB |
sha256:bccf7c9f657ec2c2078fb53d0626d06ada1aeed7a0df0755dffb218921866479
|
|
|
GNAT Studio
Expired
|
2.78 MB |
sha256:a8fdeae46f7dab2a60dbca20c27bc348872ac44f81183ccd1070a88017f57032
|
|
|
GNAT Studio - Course
Expired
|
1.64 MB |
sha256:eb85c27ea992f9172d32c736296dc9bf5c32cdde36b8ebafdc1c3e6437851f41
|
|
|
GNAT Toolchain
Expired
|
1.04 MB |
sha256:8ceab0a059b8699aa5338166fc539ada21eb3cd99630b540f85c46acf54bfeef
|
|
|
GNAT Toolchain - Gnat Toolchain
Expired
|
526 KB |
sha256:45691d5abe11b8eb902681bb6978b7baa458c7d770ec535d6da0f22143a08c52
|
|
|
Mini Project - Mini Cinema
Expired
|
331 KB |
sha256:c1f5b366fdb615c92c51eff4af301196183e76bcdaab6861e9505fb4f507dd4f
|
|
|
SPARK
Expired
|
7.92 MB |
sha256:4a7affcb1de009e3056ad2e1da5dfccc852f5a24ce38beb526bbfe51149f055f
|
|
|
SPARK - Course
Expired
|
3.38 MB |
sha256:3b007a631fe8bfaf71d881fc21658e1b120d35e0d0c8d9c285b56425c3b96684
|
|
|
Static Analysis Via Compiler
Expired
|
838 KB |
sha256:eb37397a1faf64ec435ad4f86bbf0b853231e972beb7f09cfdf54b521b923a03
|
|