Skip to content

Commit 1fc314f

Browse files
committed
chore: validate release
1 parent dceb049 commit 1fc314f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

codebuild/release/validate_test_vectors.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ env:
77
phases:
88
install:
99
commands:
10+
- cd ..
1011
- pip install "tox < 4.0" poetry
1112
- pip install --upgrade pip
1213
# Get Dafny

0 commit comments

Comments
 (0)