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 cd5208ce08..5051a575b3 100644 --- a/.github/workflows/bootstrap.yml +++ b/.github/workflows/bootstrap.yml @@ -158,7 +158,7 @@ jobs: run: | brew install tree - uses: actions/checkout@a12a3943b4bdde767164f792f33f40b04645d846 # @v2 - - uses: actions/setup-python@0ebf233433c08fb9061af664d501c3f3ff0e9e20 # @v2 + - uses: actions/setup-python@9c644ca2ab8e57ea0a487b5ec2f8290740378bfd # @v2 with: python-version: ${{ matrix.python-version }} - name: Bootstrap clingo @@ -175,7 +175,7 @@ jobs: python-version: ['2.7', '3.5', '3.6', '3.7', '3.8', '3.9'] steps: - uses: actions/checkout@a12a3943b4bdde767164f792f33f40b04645d846 # @v2 - - uses: actions/setup-python@0ebf233433c08fb9061af664d501c3f3ff0e9e20 # @v2 + - uses: actions/setup-python@9c644ca2ab8e57ea0a487b5ec2f8290740378bfd # @v2 with: python-version: ${{ matrix.python-version }} - name: Setup repo and non-root user |