Skip to content

Commit 1ac6e1b

Browse files
authored
Add miri-wast directory to .gitignore (#13094)
This is a temporary directory created by the `ci/miri-wast.sh` script.
1 parent 13b6270 commit 1ac6e1b

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,3 +34,4 @@ testcase*.wasm
3434
testcase*.dna
3535
testcase*.json
3636
perf.data*
37+
miri-wast/

0 commit comments

Comments
 (0)