feat(oracle): Wire workbook cases through WSL bridge and harden pivot… #12
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Formulon develop-branch CI workflow. | |
| # | |
| # Develop-branch checks layered on top of ci.yml so iteration on `main` | |
| # stays fast. Currently a single job: | |
| # | |
| # - format : clang-format dry-run. Hard gate (binary check). | |
| # | |
| # Pattern mirrored from ../mygram-db's develop-ci.yml: develop-only | |
| # checks live here, main keeps the minimal build+test signal in ci.yml. | |
| # | |
| # clang-tidy is intentionally NOT a CI gate, following the mygram-db | |
| # policy. It carries a large pre-existing warnings backlog that would | |
| # never realistically pass `-Werror`, and per CLAUDE.md "CI vs. local | |
| # development" tunable-threshold signals belong as `tools/dev/` scripts, | |
| # not as CI pass/fail gates. Local invocation: `make lint`. | |
| # | |
| # Sanitizers (TSan, future ASan/UBSan) live in their own workflow | |
| # (.github/workflows/sanitizers.yml) and are triggered manually from | |
| # the Actions UI when investigating a specific commit. | |
| name: develop-ci | |
| on: | |
| push: | |
| branches: [develop] | |
| pull_request: | |
| branches: [develop] | |
| workflow_dispatch: | |
| # Cancel superseded runs on the same ref to save CI minutes. | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| format: | |
| name: clang-format check | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Install clang-format | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y --no-install-recommends clang-format | |
| - name: clang-format check | |
| run: make format-check |