Merge pull request EESSI#420 from EESSI/rename_pilot_ci_task

Rename `pilot` task in CI
TopRichard · Dec 9, 2023 · 9b119ed · 9b119ed
2 parents cd1ede2 + 65a3aac
commit 9b119ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-software.eessi.io.yml b/.github/workflows/test-software.eessi.io.yml
@@ -4,7 +4,7 @@ on: [push, pull_request, workflow_dispatch]
 permissions:
   contents: read # to fetch code (actions/checkout)
 jobs:
-  pilot:
+  check_missing:
     runs-on: ubuntu-22.04
     strategy:
       fail-fast: false