clone

ftsrg · Nov 9, 2024 · cc80afa · cc80afa
1 parent 5188d42
commit cc80afa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/build-spec-transformation/action.yml b/.github/actions/build-spec-transformation/action.yml
@@ -15,7 +15,7 @@ runs:
       shell: bash
       run: |
         cd specification-transformation/lib
-        git checkout https://github.com/sosy-lab/cpachecker.git cpachecker
+        git clone https://github.com/sosy-lab/cpachecker.git cpachecker
         cd cpachecker
         git checkout c087875f139c14692b08a33f7d2cc77006c80ddc
         ant jar