diff options
Diffstat (limited to '.github/workflows/bootstrap.yml')
-rw-r--r-- | .github/workflows/bootstrap.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml index 613dc2ba50..cc392cd6be 100644 --- a/.github/workflows/bootstrap.yml +++ b/.github/workflows/bootstrap.yml @@ -37,7 +37,7 @@ jobs: make patch unzip which xz python3 python3-devel tree \ cmake bison - name: Checkout - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 + uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 with: fetch-depth: 0 - name: Bootstrap clingo @@ -60,7 +60,7 @@ jobs: run: | brew install cmake bison tree - name: Checkout - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 + uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 with: fetch-depth: 0 - uses: actions/setup-python@f677139bbe7f9c59b41e40162b753c062f5d49a3 @@ -96,7 +96,7 @@ jobs: if: ${{ matrix.runner == 'ubuntu-latest' }} run: sudo rm -rf $(command -v gpg gpg2 patchelf) - name: Checkout - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 + uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 with: fetch-depth: 0 - name: Bootstrap GnuPG @@ -130,7 +130,7 @@ jobs: Remove-Item -Path (Get-Command gpg).Path Remove-Item -Path (Get-Command file).Path - name: Checkout - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 + uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 with: fetch-depth: 0 - uses: actions/setup-python@f677139bbe7f9c59b41e40162b753c062f5d49a3 |