Skip to content
CI

Remove unnecessary slide #2149

Sign in to view logs

Remove unnecessary slide

Remove unnecessary slide #2149

Triggered via pull request December 17, 2024 16:32
@frank-at-adacorefrank-at-adacore
opened #470
slides/188-expressions-quantified-expressions-remove-slide
Status Success
Total duration 9m 38s
Artifacts 19

main.yaml

on: pull_request
List-Courses
5s
List-Courses
Labs-Slides
1m 10s
Labs-Slides
Python scripts black lint check
8s
Python scripts black lint check
Contrib scripts check
1m 27s
Contrib scripts check
Matrix: Labs
Matrix: Slides
Fit to window
Zoom out
Zoom in

Annotations

21 warnings
List-Courses
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Python scripts black lint check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Labs (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Labs-Slides
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (advanced_exception_analysis)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnat_studio/course.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Contrib scripts check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (static_analysis_via_compiler)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (toolchain)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnat_project_facility/standard_course.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnat_studio)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (toolchain/gnat_toolchain.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnat_project_facility)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (spark_for_ada_programmers/course.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (fundamentals_of_ada/advanced.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (fundamentals_of_ada/standard_course.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (fundamentals_of_ada/opat.txt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnatdas)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (gnatsas)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (spark_for_ada_programmers)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Slides (fundamentals_of_ada)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
Advanced Exception Analysis Expired
452 KB
sha256:15d78cb59a229ae4408db20baab15a5b9a8431a648bc42f45312f0bd5e326640
Fundamentals Of Ada Expired
25 MB
sha256:d47cbcf13aafdb5ddceae67f6691b5332902fea6abf42b5aca277058e36b4439
Fundamentals Of Ada - Advanced Expired
2.21 MB
sha256:963d08fa251961b8438369af359c854b3158c49f4c8147305ed4a989271e1b29
Fundamentals Of Ada - Opat Expired
3.92 MB
sha256:9b9e7346bc5254444a82abb6df9769c97e12f61330e8750f8e87ffb8438db64c
Fundamentals Of Ada - Standard Course Expired
3.79 MB
sha256:d9a33d0529290d802b5769ed80ed7425d4a4528e7ec929b1cf8b83624e5b388b
GNAT Dynamic Analysis Suite Expired
3.36 MB
sha256:27c85fe83c7ab87ae69be32aea092d154f9444a654e14f547ae57799904c4f36
GNAT Project Facility Expired
1.76 MB
sha256:64f547231b7b73e1a81ed245f012d07d14337a3e356055621a12f9329e4f49ad
GNAT Project Facility - Standard Course Expired
519 KB
sha256:b772ef316310339db065552c59aa13996b6099b4d835f791ac363e40f3f7b6cd
GNAT Project Facility labs Expired
870 KB
sha256:1df3c334f3da8612c38dabf4fdd8d2633d101f80ed52c8dd8cc88036cbfa4f0d
GNAT SAS labs Expired
876 KB
sha256:21e8ea16515eda55aafee7e82d631c338f3b355c34014c4380c55b13321e6249
GNAT Static Analysis Suite Expired
5.03 MB
sha256:b5d1a054041aeb1b24b692ab9a68a3b4725ee57babfe1ee6ddb213a85030073d
GNAT Studio Expired
2.78 MB
sha256:ebf488c4ad0ef5c7ca9eadc55221521e2ec371fe165725bcd333ae7b5cf43819
GNAT Studio - Course Expired
1.64 MB
sha256:8d89e812c9eb68650472b124154db311e75458bd26787fac412d7b3720523811
GNAT Toolchain Expired
1.04 MB
sha256:9ac6de25d6ac031e1fed217d6b1c9e56c0cf35b38365e715af4aa62bf9f0a277
GNAT Toolchain - Gnat Toolchain Expired
526 KB
sha256:173a0080a681cbd6ebc3bac1521815d6704d0f88b86b109b8ddb4dd37c89d9da
Mini Project - Mini Cinema Expired
331 KB
sha256:be6fcdb24a380676b45a01040c4a1bf5017a5ac5ac1cbcb4b07b09c594bccb93
SPARK Expired
7.92 MB
sha256:a7e5256e5cea2df8cad9c627ac5df6852bfd2dc98f8860a48509ceafa9d2ac5d
SPARK - Course Expired
3.38 MB
sha256:3fb58f7bf6e0af958510ef5dad12ffec8d7275eb0ffbc567bc50554a7f660fd3
Static Analysis Via Compiler Expired
838 KB
sha256:ac52d0b0d4c8bae0c728009c6a4f4a4ddf8be1d42f88989ce3dc0a37c390083c