Skip to content

Commit

Permalink
GitHub ci: enable debug in tests
Browse files Browse the repository at this point in the history
  • Loading branch information
cathales authored Jan 3, 2024
1 parent 8112027 commit 4622f79
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,7 @@ jobs:
name: compiled-tools
- name: Run Tests
run: |
set -x
tar xf tools.tar
tar xf tmp.tar
source verif/sim/setup-env.sh
Expand Down

0 comments on commit 4622f79

Please sign in to comment.