Skip to content

Commit

Permalink
ci: name all jobs
Browse files Browse the repository at this point in the history
  • Loading branch information
seqre committed Jul 9, 2024
1 parent 036b9a3 commit 175c37a
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 1 deletion.
1 change: 1 addition & 0 deletions .github/workflows/audit.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ on:

jobs:
security_audit:
name: Audit check
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/pre-commit.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ jobs:
github.event_name == 'push' || github.event.pull_request.head.repo.full_name !=
github.repository

name: Linting Checks
name: Lint checks
runs-on: ubuntu-latest
steps:
- name: Checkout repository
Expand Down
9 changes: 9 additions & 0 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,7 @@ jobs:
rust: [stable, nightly]
os: [ubuntu-latest, macos-latest, windows-latest]

name: Build & test
runs-on: ${{ matrix.os }}
steps:
- name: Checkout source
Expand All @@ -49,6 +50,8 @@ jobs:
clippy:
if: github.event_name == 'push' || github.event_name == 'schedule' ||
github.event.pull_request.head.repo.full_name != github.repository

name: Clippy lint checks
runs-on: ubuntu-latest
needs: ["build"]
steps:
Expand All @@ -70,6 +73,8 @@ jobs:
coverage:
if: github.event_name == 'push' || github.event_name == 'schedule' ||
github.event.pull_request.head.repo.full_name != github.repository

name: Test coverage checks
runs-on: ubuntu-latest
needs: ["build"]
steps:
Expand Down Expand Up @@ -111,6 +116,8 @@ jobs:
rustfmt:
if: github.event_name == 'push' || github.event_name == 'schedule' ||
github.event.pull_request.head.repo.full_name != github.repository

name: Code formatting checks
runs-on: ubuntu-latest
needs: ["build"]
steps:
Expand All @@ -132,6 +139,8 @@ jobs:
miri:
if: github.event_name == 'push' || github.event_name == 'schedule' ||
github.event.pull_request.head.repo.full_name != github.repository

name: Undefined behaviour checks
runs-on: ubuntu-latest
needs: ["build"]
steps:
Expand Down

0 comments on commit 175c37a

Please sign in to comment.