Skip to content

Commit

Permalink
sample
Browse files Browse the repository at this point in the history
  • Loading branch information
@tyshkor
tyshkor committed Jul 21, 2023
1 parent b1442f3 commit 6cc3acd
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/ci.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@ jobs:
export PATH=$HOME/bin:$PATH
cargo test
- name: cargo test smt_verifier
run: |
export PATH=$HOME/bin:$PATH
Expand Down

0 comments on commit 6cc3acd

Please sign in to comment.