vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

ci: restore the `v -autofree .` step for gitly (gitly now has a workaround)

Delyan Angelov 2022-05-07 12:55:25 +03:00 committed by Jef Roosens
parent e344d68b62
commit f1398b7762
Signed by: Jef Roosens
GPG Key ID: B75D4F293C7052DB
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/other_ci.yml vendored
View File

@ -217,7 +217,7 @@ jobs:
cd gitly cd gitly
../v . ../v .
# ./gitly -ci_run # ./gitly -ci_run
# ../v -autofree . ../v -autofree .
../v -o x tests/first_run.v ../v -o x tests/first_run.v
./x ./x
cd .. cd ..