feat: only one CI job at a time per PR

This prevents the Gitea runner from getting clogged up with stale CI checks.
refactor: rename lint.yml to ci.yml
2026-03-17 19:51:19 -04:00 · 2026-03-17 19:49:21 -04:00
1 changed files with 4 additions and 0 deletions
@@ -1,5 +1,9 @@
 name: CI

+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
  push:
    branches: [main]
Author	SHA1	Message	Date
mvhutz	9726670dea	feat: only one CI job at a time per PR CI / lint (pull_request) Successful in 52s Details CI / unit-test (pull_request) Successful in 26s Details CI / fuzz-test (pull_request) Successful in 1m3s Details CI / mutation-test (pull_request) Successful in 43s Details This prevents the Gitea runner from getting clogged up with stale CI checks.	2026-03-17 19:51:19 -04:00
mvhutz	62bc15a979	refactor: rename `lint.yml` to `ci.yml` The `lint.yml` workflow contains more than just linting jobs. Renaming it to `ci.yml`, which is more general, and common practice.	2026-03-17 19:49:21 -04:00