From d7c9a88701666023e92dee6f3516afe5cb7b4302 Mon Sep 17 00:00:00 2001 From: dana Date: Wed, 22 Jan 2025 10:26:22 -0500 Subject: [PATCH] Switch GitHub CI to use AdaCore ECR for pandoc beamer and alr images --- .github/workflows/main.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index f90d12441..d51e73c6a 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -58,7 +58,7 @@ jobs: Labs-Slides: runs-on: ubuntu-latest - container: sawertyu/pandoc_beamer:latest + container: public.ecr.aws/w0s6m4g9/pandoc-beamer:latest steps: - uses: actions/checkout@v4 @@ -101,7 +101,7 @@ jobs: os: [ubuntu-latest] #windows-latest TODO runs-on: ${{ matrix.os }} - container: sawertyu/alr:latest + container: public.ecr.aws/adacore-public/alr:latest steps: - uses: actions/checkout@v4