Add historic TeX Live 2022 images
Last Monday, TeX Live 2023 has been released. Therefore, we should update .gitlab-ci.yml
to produce historic TeX Live 2022 images.
Last Monday, TeX Live 2023 has been released. Therefore, we should update .gitlab-ci.yml
to produce historic TeX Live 2022 images.