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

dm-at-ada wants to merge 1 commit intomasterAdaCore/training_material:masterfrom

build/switch-github-to-adacore-ecrAdaCore/training_material:build/switch-github-to-adacore-ecrCopy head branch name to clipboard