diff options
Diffstat (limited to '.github/workflows/bootstrap.yml')
| -rw-r--r-- | .github/workflows/bootstrap.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml index c6669f0ae8..cff7e8d880 100644 --- a/.github/workflows/bootstrap.yml +++ b/.github/workflows/bootstrap.yml @@ -192,7 +192,7 @@ jobs: brew install tree - name: Checkout uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b - - uses: actions/setup-python@d09bd5e6005b175076f227b13d9730d56e9dcfcb + - uses: actions/setup-python@c4e89fac7e8767b327bbad6cb4d859eda999cf08 with: python-version: ${{ matrix.python-version }} - name: Bootstrap clingo @@ -211,7 +211,7 @@ jobs: steps: - name: Checkout uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b - - uses: actions/setup-python@d09bd5e6005b175076f227b13d9730d56e9dcfcb + - uses: actions/setup-python@c4e89fac7e8767b327bbad6cb4d859eda999cf08 with: python-version: ${{ matrix.python-version }} - name: Setup repo |