ci: add concurrency controls, consolidate macOS jobs, optimize Windows CI

2026-06-28 15:01:41 +03:00 · 2026-02-06 23:18:10 -03:00
parent ab3045cb48
commit 47596257ea
4 changed files with 80 additions and 66 deletions
@@ -3,6 +3,10 @@ name: Formal models (informational conformance)
 on:
  pull_request:

+concurrency:
+  group: formal-conformance-${{ github.event.pull_request.number || github.ref_name }}
+  cancel-in-progress: true
+
 jobs:
  formal_conformance:
    runs-on: ubuntu-latest