github-ci: use git cli command for netmap instead of action

This action hits API limits often, however our other uses of git clone
do not seem to, so try use git clone here instead of the github
action.

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 208d89908a5bcbad7ce6707bd5a73aa9d82d7c70..c2a3380ec30440415c0e57b4bf52e894eabdbed0 100644 (file)
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -2216,11 +2216,7 @@ jobs:
 
       - name: Checkout Netmap repository
         if: steps.netmap-cache.outputs.cache-hit != 'true'
-        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
-        with:
-          repository: luigirizzo/netmap
-          # gets cloned to $GITHUB_WORKSPACE/netmap/
-          path: netmap/
+        run: git clone --depth 1 https://github.com/luigirizzo/netmap
 
       - name: Save Netmap Cache
         if: steps.netmap-cache.outputs.cache-hit != 'true'