z3660: honour the minterm on a rect copy #2
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: Lockfile sync | |
| # Verifies every committed Cargo.lock still resolves with --locked, i.e. is | |
| # in sync with its workspace's manifests. The root lock is already exercised | |
| # by the --locked builds in ci.yml, but the nested workspaces mostly are not: | |
| # crates/copperline-web, crates/cputest-runner, and crates/hostsocket-plugin | |
| # carry their own committed locks. The web lock pins the sibling `copperline` | |
| # path package by version; the cputest-runner lock pins its published `m68k` | |
| # dependency; the hostsocket-plugin lock pins its `smoltcp` dependency (the | |
| # committed assets/hostsocket/hostsocket_plugin.wasm is built from it). A manifest | |
| # update without a lock refresh breaks `cargo build --locked` (issue #219: | |
| # the v0.12.0 tag shipped crates/copperline-web/Cargo.lock still pinning | |
| # copperline 0.11.0). | |
| # | |
| # The v* tag trigger is the part that closes issue #219: the drift reached | |
| # the 0.12.0 release because the tag was cut directly from a fresh bump | |
| # commit, before any PR- or push-triggered check had a chance to run. A red | |
| # check on the tag itself appears within about a minute of pushing it, while | |
| # the tag can still be deleted and re-cut. | |
| on: | |
| push: | |
| branches: [main] | |
| tags: ["v*"] | |
| pull_request: | |
| concurrency: | |
| group: locks-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| locks: | |
| name: Committed lockfiles resolve with --locked | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - uses: dtolnay/rust-toolchain@stable | |
| # cargo tree resolves the full dependency graph without compiling | |
| # anything, and --locked turns any would-be lockfile update into an | |
| # error, so each check runs in seconds. | |
| - name: Root workspace | |
| run: cargo tree --locked > /dev/null | |
| - name: crates/copperline-web | |
| working-directory: crates/copperline-web | |
| run: cargo tree --locked > /dev/null | |
| - name: crates/cputest-runner | |
| working-directory: crates/cputest-runner | |
| run: cargo tree --locked > /dev/null | |
| - name: crates/hostsocket-plugin | |
| working-directory: crates/hostsocket-plugin | |
| run: cargo tree --locked > /dev/null |