From 01e97d75a5041dae1a77c8bbfaee7496c0d9b330 Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Thu, 5 May 2022 09:20:08 +0300 Subject: [PATCH] ci: comment out the `v -autofree .` step for gitly temporarily --- .github/workflows/other_ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ..