diff --git a/.github/workflows/other_ci.yml b/.github/workflows/other_ci.yml index 88f6702b8e..785cd6b5d7 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 ..