diff --git a/mps/.github/workflows/fixme-check.yml b/mps/.github/workflows/fixme-check.yml index fce065a0201..7e34fea8cac 100644 --- a/mps/.github/workflows/fixme-check.yml +++ b/mps/.github/workflows/fixme-check.yml @@ -1,7 +1,7 @@ # .github/workflows/fixme-check.yml -- check for FIXME task labels # # This is a GitHub CI workflow -# +# # to check for FIXME and similar task labels left unresolved in the # MPS source tree. @@ -14,7 +14,7 @@ on: - workflow_dispatch # allow manual triggering jobs: - check-rst: + check-fixme: runs-on: ubuntu-latest steps: - uses: actions/checkout@v3