Remove USE_BAZEL_VERSION from /etc/profile.d and fix bash completion for bazel >= 8.4.0 #121
Workflow file for this run
This file contains hidden or 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
| name: 'Validate DevContainer' | |
| description: 'This workflow is checking that updates do not break stuff. If on main branch, publish to "latest" tag.' | |
| on: | |
| pull_request: | |
| push: | |
| branches: | |
| - main | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| build: | |
| name: 'Check, Build, Test, Publish DevContainer' | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: read | |
| packages: write | |
| id-token: write | |
| steps: | |
| - name: Checkout (GitHub) | |
| uses: actions/checkout@v3 | |
| - name: Login to GitHub Container Registry | |
| uses: docker/login-action@v2 | |
| with: | |
| registry: ghcr.io | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| # Use .devcontainer from THIS repo for building and testing | |
| - name: Check, Build, Test, Publish | |
| uses: devcontainers/[email protected] | |
| with: | |
| # The .devcontainer is never published as pre-built container. | |
| # We want to only use it for building and testing the actual container, which resides in src/s-core-devcontainer. | |
| push: "never" | |
| runCmd: | | |
| set -euxo pipefail # make sure bash fails fast on errors | |
| # Check | |
| pre-commit run --show-diff-on-failure --color=always --all-files || exit -1 | |
| # Create builder for multi-arch builds | |
| ./scripts/create_builder.sh | |
| # Build & Test (amd64-only for tests to be fast) | |
| ./scripts/test.sh | |
| # Optionally (if on main branch): Publish (multi-arch: amd64, arm64) | |
| # We do not use the push feature of devcontainers/ci here, since that would push the wrong container. | |
| # Instead, we use the publish script which pushes the correct container (residing in src/s-core-devcontainer). | |
| if [ "${{ github.ref }}" = "refs/heads/main" ]; then | |
| # manually login to ghcr.io for publishing | |
| echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u ${{ github.actor }} --password-stdin | |
| ./scripts/publish.sh "main" | |
| fi |