diff --git a/.github/workflows/other_ci.yml b/.github/workflows/other_ci.yml index 96c6f2f145..ddbf70e92b 100644 --- a/.github/workflows/other_ci.yml +++ b/.github/workflows/other_ci.yml @@ -217,7 +217,7 @@ jobs: cd gitly ../v . # ./gitly -ci_run - # ../v -autofree . + ../v -autofree . ../v -o x tests/first_run.v ./x cd ..