diff options
Diffstat (limited to '.github/workflows/profile-checks.yml')
-rw-r--r-- | .github/workflows/profile-checks.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/profile-checks.yml b/.github/workflows/profile-checks.yml index 54188c787..144d52327 100644 --- a/.github/workflows/profile-checks.yml +++ b/.github/workflows/profile-checks.yml | |||
@@ -33,7 +33,7 @@ jobs: | |||
33 | allowed-endpoints: > | 33 | allowed-endpoints: > |
34 | github.com:443 | 34 | github.com:443 |
35 | 35 | ||
36 | - uses: actions/checkout@8f4b7f84864484a7bf31766abe9204da3cbe65b3 | 36 | - uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab |
37 | # - name: sort.py | 37 | # - name: sort.py |
38 | # run: ./ci/check/profiles/sort.py etc/inc/*.inc etc/{profile-a-l,profile-m-z}/*.profile | 38 | # run: ./ci/check/profiles/sort.py etc/inc/*.inc etc/{profile-a-l,profile-m-z}/*.profile |
39 | # Currently broken (see #5610) | 39 | # Currently broken (see #5610) |