From f956acd2f65d6a58d8f2c5b232e24630ba42ac69 Mon Sep 17 00:00:00 2001
From: Delyan Angelov <delian66@gmail.com>
Date: Sat, 7 May 2022 12:55:25 +0300
Subject: [PATCH] ci: restore the `v -autofree .` step for gitly (gitly now has
 a workaround)

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