Skip to content

Commit

Permalink
Update .github/workflows/test-long.yml
Browse files Browse the repository at this point in the history
Co-authored-by: Daejun Park <[email protected]>
  • Loading branch information
karmacoma-eth and daejunpark authored Nov 8, 2024
1 parent 54cba1a commit c9cbc89
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/test-long.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:

- name: Build image
run: |
docker build -t halmos-image . --file packages/halmos/Dockerfile
docker build -t halmos-image . --file packages/halmos/Dockerfile
- name: Print halmos version
run: docker run halmos-image halmos --version
Expand Down

0 comments on commit c9cbc89

Please sign in to comment.