ci: add unique names on ci_ok jobs (#370)

This commit is contained in:
Marco Pasqualetti
2025-01-19 11:52:57 +01:00
committed by GitHub
parent 5efcc86a63
commit 43910fd75d
3 changed files with 3 additions and 3 deletions
+1 -1
View File
@@ -62,7 +62,7 @@ jobs:
- run: cargo clippy -- -D warnings
ci_ok:
name: OK
name: Rust CI OK
runs-on: ubuntu-latest
timeout-minutes: 1
if: always()