ci: remove outdated version comments (#43389)

This commit is contained in:
Harmen Stoppels
2024-03-27 09:26:12 +01:00
committed by GitHub
parent e145baf619
commit 5d0ef9e4f4
6 changed files with 17 additions and 17 deletions

View File

@@ -159,7 +159,7 @@ jobs:
brew install cmake bison@2.7 tree
- name: Checkout
uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633
- uses: actions/setup-python@0a5c61591373683505ea898e09a3ea4f39ef2b9c # @v2
- uses: actions/setup-python@0a5c61591373683505ea898e09a3ea4f39ef2b9c
with:
python-version: "3.12"
- name: Bootstrap clingo