Bump workspace version to 0.7.1 #125
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
| name: Policy | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: "policy-${{ github.ref }}" | |
| cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} | |
| jobs: | |
| policy: | |
| name: Architectural Policy | |
| runs-on: ubuntu-latest | |
| env: | |
| CARGO_INCREMENTAL: 0 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: cachix/install-nix-action@v31 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - name: Generate Summary | |
| run: ./scripts/gen-summary.sh | |
| - name: Docs Link Check | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check docs-link-check --repo-root . --config toolkit/toolkit.toml | |
| - name: Docs Semantic Drift | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check docs-semantic-drift --repo-root . --config toolkit/toolkit.toml | |
| - name: Proc Macro Scope | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check proc-macro-scope --repo-root . --config toolkit/toolkit.toml | |
| - name: Crate Root Policy | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check crate-root-policy --repo-root . --config toolkit/toolkit.toml | |
| - name: Ignored Result | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check ignored-result --repo-root . --config toolkit/toolkit.toml | |
| - name: Unsafe Boundary | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check unsafe-boundary --repo-root . --config toolkit/toolkit.toml | |
| - name: Bool Param | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check bool-param --repo-root . --config toolkit/toolkit.toml | |
| - name: Must Use Public Return | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check must-use-public-return --repo-root . --config toolkit/toolkit.toml | |
| - name: Assert Shape | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check assert-shape --repo-root . --config toolkit/toolkit.toml | |
| - name: Drop Side Effects | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check drop-side-effects --repo-root . --config toolkit/toolkit.toml | |
| - name: Recursion Guard | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check recursion-guard --repo-root . --config toolkit/toolkit.toml | |
| - name: Naming Units | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check naming-units --repo-root . --config toolkit/toolkit.toml | |
| - name: Limit Constant | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check limit-constant --repo-root . --config toolkit/toolkit.toml | |
| - name: Public Type Width | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check public-type-width --repo-root . --config toolkit/toolkit.toml | |
| - name: Dependency Policy | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check dependency-policy --repo-root . --config toolkit/toolkit.toml | |
| - name: Test Boundaries | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check test-boundaries --repo-root . --config toolkit/toolkit.toml | |
| - name: Lean Escape Hatches | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check lean-escape-hatches --repo-root . --config toolkit/toolkit.toml | |
| - name: Text Formatting | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check text-formatting --repo-root . --config toolkit/toolkit.toml | |
| - name: Workspace Hygiene | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check workspace-hygiene --repo-root . --config toolkit/toolkit.toml | |
| - name: Workflow Actions | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check workflow-actions --repo-root . --config toolkit/toolkit.toml | |
| - name: Trait Purity | |
| run: cargo xtask check trait-purity | |
| - name: Annotation Semantics | |
| run: cargo xtask check annotation-semantics | |
| - name: Crate Boundary | |
| run: cargo xtask check crate-boundary | |
| - name: Adapter Boundary | |
| run: cargo xtask check adapter-boundary | |
| - name: DX Surface | |
| run: cargo xtask check dx-surface | |
| - name: DRY Code | |
| run: cargo xtask check dry-code | |
| - name: Transport Authoring Boundary | |
| run: cargo xtask check transport-authoring-boundary | |
| - name: Transport Ownership Boundary | |
| run: cargo xtask check transport-ownership-boundary | |
| - name: Router Round Boundary | |
| run: cargo xtask check router-round-boundary | |
| - name: Reference Bridge Boundary | |
| run: cargo xtask check reference-bridge-boundary | |
| - name: Simulator Boundary | |
| run: cargo xtask check simulator-boundary | |
| - name: Ownership Invariants | |
| run: cargo xtask check ownership-invariants | |
| - name: No usize in Models | |
| run: cargo xtask check no-usize-in-models | |
| - name: Result Must Use | |
| run: ./scripts/toolkit-shell.sh toolkit-xtask check result-must-use --repo-root . --config toolkit/toolkit.toml | |
| - name: Proof Bearing Actions | |
| run: cargo xtask check proof-bearing-actions | |
| - name: Surface Classification | |
| run: cargo xtask check surface-classification | |
| - name: Rust Style Guide | |
| run: cargo xtask check rust-style-guide | |
| - name: Field Code Map | |
| run: cargo xtask check field-code-map | |
| - name: Checkpoint Namespacing | |
| run: cargo xtask check checkpoint-namespacing | |
| - name: Engine Service Boundary | |
| run: cargo xtask check engine-service-boundary | |
| - name: Invariant Specs | |
| run: cargo xtask check invariant-specs | |
| - name: Fail-Closed Ordering | |
| run: cargo xtask check fail-closed-ordering | |
| - name: No Scratch Refs in Rust | |
| run: cargo xtask check no-scratch-refs-in-rust | |
| - name: Pathway Async Boundary | |
| run: cargo xtask check pathway-async-boundary | |
| - name: Pathway Choreography | |
| run: cargo xtask check pathway-choreography | |
| - name: Pathway Choreography Validate | |
| run: cargo xtask check pathway-choreography --validate | |
| - name: Routing Invariants | |
| run: cargo xtask check routing-invariants | |
| - name: Routing Invariants Validate | |
| run: cargo xtask check routing-invariants --validate | |
| - name: Install cargo-dylint | |
| run: ./scripts/toolkit-shell.sh toolkit-install-dylint | |
| - name: Dylint Trait Purity | |
| run: ./scripts/toolkit-shell.sh toolkit-dylint --repo-root . --toolkit-lint trait_purity --all -- --all-targets | |
| - name: Dylint Model Policy | |
| run: ./scripts/toolkit-shell.sh toolkit-dylint --repo-root . --lint-path ./toolkit/lints/model_policy --all -- --all-targets | |
| - name: Dylint Routing Invariants | |
| run: ./scripts/toolkit-shell.sh toolkit-dylint --repo-root . --lint-path ./toolkit/lints/routing_invariants --all -- --all-targets | |
| - name: Dylint Trait Must Use | |
| run: ./scripts/toolkit-shell.sh toolkit-dylint --repo-root . --toolkit-lint trait_must_use --all -- --all-targets | |
| - name: Dylint Naked Map Err | |
| run: ./scripts/toolkit-shell.sh toolkit-dylint --repo-root . --toolkit-lint naked_map_err --all -- --all-targets |