Skip to content

Switch GitHub CI to use AdaCore ECR for pandoc beamer and alr images #2422

Switch GitHub CI to use AdaCore ECR for pandoc beamer and alr images

Switch GitHub CI to use AdaCore ECR for pandoc beamer and alr images #2422

Triggered via pull request February 26, 2025 15:30
Status Failure
Total duration 17m 3s
Artifacts 21

main.yaml

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

Annotations

1 error
Labs-Slides
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
Advanced Exception Analysis
452 KB
Comprehensive Rust Training
5.92 MB
Comprehensive Rust Training - Comprehensive Course
1010 KB
Comprehensive Rust Training - Standard Course
969 KB
Fundamentals Of Ada
24.6 MB
Fundamentals Of Ada - Advanced
2.16 MB
Fundamentals Of Ada - Opat
4.1 MB
Fundamentals Of Ada - Standard Course
3.99 MB
GNAT Dynamic Analysis Suite
3.36 MB
GNAT Project Facility
1.76 MB
GNAT Project Facility - Standard Course
519 KB
GNAT Static Analysis Suite
5.03 MB
GNAT Studio
2.78 MB
GNAT Studio - Course
1.64 MB
GNAT Toolchain
1.04 MB
GNAT Toolchain - Gnat Toolchain
526 KB
Rust Essentials
528 KB
Rust Essentials - Standard Course
528 KB
SPARK
7.92 MB
SPARK - Course
3.38 MB
Static Analysis Via Compiler
838 KB