tweak yml file

verus-lang · Mar 21, 2024 · 6c9d886 · 6c9d886
1 parent 339dead
commit 6c9d886
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/verus.yml b/.github/workflows/verus.yml
@@ -30,7 +30,7 @@ jobs:
         # run: cargo test --package ide-assists --lib -- handlers::proof_action::wp_move_assertion::tests::wp_lemma_call --exact --nocapture
 
       - name: build
-        run: cargo build
+        run: cargo xtask dist
 
 # TODO: more test
 # TODO: auto-merge upstream