add a build command to captain for dev usage

rwx-research · Jul 10, 2023 · 98d1f7c · 98d1f7c
1 parent 431bc2a
commit 98d1f7c
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 0 deletions.
diff --git a/.captain/config.yaml b/.captain/config.yaml
@@ -8,6 +8,8 @@ test-suites:
       print-summary: true
       reporters:
         github-step-summary:
+  dev-build:
+    command: cargo build --tests --bins --profile=release-unstable --all-features
   # shorthand for running clippy in dev
   dev-clippy:
     command: cargo clippy --workspace --tests --profile=release-unstable --all-features -- --deny warnings

diff --git a/.captain/dev-build/flakes.yaml b/.captain/dev-build/flakes.yaml
@@ -0,0 +1 @@
+[]
diff --git a/.captain/dev-build/quarantines.yaml b/.captain/dev-build/quarantines.yaml
@@ -0,0 +1 @@
+[]
diff --git a/.captain/dev-build/timings.yaml b/.captain/dev-build/timings.yaml
@@ -0,0 +1 @@
+{}