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
--- a/.gitea/workflows/lint.yml
+++ b/.gitea/workflows/lint.yml
@@ -1,5 +1,9 @@
 name: CI
 concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true
 on:
  push:
    branches: [main]
Author	SHA1	Message	Date
M.V. Hutz	9726670dea	feat: only one CI job at a time per PR All checks were successful 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
M.V. Hutz	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