try setting credentials this way

ESCOMP · Jan 9, 2023 · ace90b2 · ace90b2
1 parent f4d6aa9
commit ace90b2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -20,6 +20,7 @@ jobs:
           pushd test
           git config --global user.email "[email protected]"
           git config --global user.name "GITHUB tester"
+          git config --global protocol.file.allow always
           make utest
           make stest
           popd