diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ef184b6..2f2855d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -25,6 +25,7 @@ jobs: - name: Test run: | "${GITHUB_WORKSPACE}/bin/bazel" test \ + -c opt \ --stamp \ --workspace_status_command hack/workspace_status.sh \ //src/... //hack/... diff --git a/.github/workflows/dev-container.yml b/.github/workflows/dev-container.yml index b1d6fd0..837ad34 100644 --- a/.github/workflows/dev-container.yml +++ b/.github/workflows/dev-container.yml @@ -31,12 +31,14 @@ jobs: run: | echo ${{github.token}} | docker login -u ${{github.actor}} --password-stdin docker.pkg.github.com "${GITHUB_WORKSPACE}/bin/bazel" run \ + -c opt \ --stamp \ --workspace_status_command hack/workspace_status.sh \ //src/dev-container:publish-dev-container echo ${{secrets.DOCKER_PASSWORD}} | docker login -u ${{secrets.DOCKER_USERNAME}} --password-stdin "${GITHUB_WORKSPACE}/bin/bazel" run \ + -c opt \ --stamp \ --workspace_status_command hack/workspace_status.sh \ //src/dev-container:publish-dev-container-dockerhub