summaryrefslogtreecommitdiff
path: root/.github/workflows/bootstrap.yml
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows/bootstrap.yml')
-rw-r--r--.github/workflows/bootstrap.yml4
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