Docker push latest base #4
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Push the latest-base Docker images without doing a release. Called | |
| # manually only when needed (basically, when we push a change that | |
| # affects the base image on the develop branch). | |
| name: Docker push latest base | |
| on: ['workflow_dispatch'] | |
| jobs: | |
| build-focal: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Checkout submodule | |
| run: git submodule update --init --depth 1 description/media | |
| - name: Log in to registry | |
| run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u ${{ github.repository_owner }} --password-stdin | |
| - name: Build base, build, test, push base docker | |
| run: ./scripts/docker/build.sh --focal | |
| --owner ${{ github.repository_owner }} | |
| astrobee_base astrobee test_astrobee push_astrobee_base |