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 06c446c6c..29e484e38 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@ac593985615ec2ede58e132d2e21d2b1cbd6127c | 36 | - uses: actions/checkout@24cb9080177205b6e8c946b17badbe402adc938f |
| 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) |