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 cff7e8d880..5279b93c3e 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@c4e89fac7e8767b327bbad6cb4d859eda999cf08 + - uses: actions/setup-python@b55428b1882923874294fa556849718a1d7f2ca5 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@c4e89fac7e8767b327bbad6cb4d859eda999cf08 + - uses: actions/setup-python@b55428b1882923874294fa556849718a1d7f2ca5 with: python-version: ${{ matrix.python-version }} - name: Setup repo |