diff options
Diffstat (limited to '.github/workflows/bootstrap.yml')
| -rw-r--r-- | .github/workflows/bootstrap.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml index 0701b74c89..21c1b2f0ba 100644 --- a/.github/workflows/bootstrap.yml +++ b/.github/workflows/bootstrap.yml @@ -159,7 +159,7 @@ jobs: brew install cmake bison@2.7 tree - name: Checkout uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 - - uses: actions/setup-python@b64ffcaf5b410884ad320a9cfac8866006a109aa # @v2 + - uses: actions/setup-python@0a5c61591373683505ea898e09a3ea4f39ef2b9c # @v2 with: python-version: "3.12" - name: Bootstrap clingo |