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

master
Delyan Angelov 2022-05-07 12:55:25 +03:00
parent 9e8e364493
commit f956acd2f6
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 1 additions and 1 deletions

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 ..