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 4aeb013a56..2ddc5792ec 100644 --- a/.github/workflows/bootstrap.yml +++ b/.github/workflows/bootstrap.yml @@ -191,7 +191,7 @@ jobs: brew install tree - name: Checkout uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b - - uses: actions/setup-python@98f2ad02fd48d057ee3b4d4f66525b231c3e52b6 + - uses: actions/setup-python@d09bd5e6005b175076f227b13d9730d56e9dcfcb with: python-version: ${{ matrix.python-version }} - name: Bootstrap clingo @@ -210,7 +210,7 @@ jobs: steps: - name: Checkout uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b - - uses: actions/setup-python@98f2ad02fd48d057ee3b4d4f66525b231c3e52b6 + - uses: actions/setup-python@d09bd5e6005b175076f227b13d9730d56e9dcfcb with: python-version: ${{ matrix.python-version }} - name: Setup repo |