Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Move back to ci-linux:production image after upgrade #14105

Merged
merged 1 commit into from
May 9, 2023

Commits on May 9, 2023

  1. Move back to ci-linux:production image after upgrade

    There are still a bunch of open questions on how to handle image
    pinning; in the meantime, let's keep using the production tag.
    Mira Ressel committed May 9, 2023
    Configuration menu
    Copy the full SHA
    45712c3 View commit details
    Browse the repository at this point in the history