Skip to content

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

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 #2421

Triggered via pull request February 26, 2025 15:17
Status Cancelled
Total duration 13m 14s
Artifacts 20

main.yaml

on: pull_request
List-Courses
2s
List-Courses
Labs-Slides
45s
Labs-Slides
Python scripts black lint check
13s
Python scripts black lint check
Contrib scripts check
1m 21s
Contrib scripts check
Matrix: Labs
Matrix: Slides
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Labs-Slides
Process completed with exit code 2.
Slides (fundamentals_of_ada)
The run was canceled by @leogermond.
Slides (fundamentals_of_ada)
The operation was canceled.
Slides (fundamentals_of_ada)
Docker pull failed with exit code 1, back off 8.245 seconds before retry.

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 - 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