max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: clean up old test artifacts (#13179)

Browse source
This commit is contained in:
Sebastian Ullrich 2026-03-30 10:02:52 +02:00 • committed by GitHub
parent 583c223b16
commit 9fc62b7042
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
tests/pkg/ver_clash/clean.sh
View file

@ -1 +1,6 @@
rm -rf work
# previous clean.sh, without it we would be copying old .git dirs and get a test failure
rm -rf DiamondExample-*/.git
rm -rf DiamondExample-*/.lake DiamondExample-*/lake-manifest.json
rm -f DiamondExample-D/produced.out