From cb5ff9602a03e5a6bb47d5b808f7b074d1b44ba1 Mon Sep 17 00:00:00 2001
From: Katalina Okano <git@kat.cafe>
Date: Sun, 11 Oct 2020 13:16:43 -0400
Subject: [PATCH] ci: add -c opt to CI builds

---
 .github/workflows/build.yml         | 1 +
 .github/workflows/dev-container.yml | 2 ++
 2 files changed, 3 insertions(+)

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