Can the CI be triggered?

pull/32672/head
dirkf 9 months ago committed by GitHub
parent 879c8b235f
commit d478c9a750
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -122,6 +122,7 @@ jobs:
run-tests-ext: sh run-tests-ext: sh
steps: steps:
- name: Checkout - name: Checkout
# v4+ of the action respect show-progress
uses: actions/checkout@master uses: actions/checkout@master
with: with:
show-progress: false show-progress: false

Loading…
Cancel
Save