Skip to content

chore: build with mach 5470b80, cached by commit - #5

Merged
octalide merged 1 commit into
devfrom
chore/mach-5470b80
Oct 8, 2026
Merged

octalide merged 1 commit into
devfrom
chore/mach-5470b80

Conversation

@octalide

@octalide octalide commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

ci.yml builds its compiler from one pinned mach commit instead of mach dev head, and caches it. This is the same change as briar-systems/mach-std#1032.

  • env gains MACH_REF: 5470b803eecb044d3c907419a97a54dcee51993b.
  • The compiler step fetches exactly that commit, never a branch.
  • actions/cache keys the built compiler on mach-${{ runner.os }}-${{ env.MACH_VERSION }}-${{ env.MACH_REF }}. A hit skips the seed install and the build. Adding the compiler to PATH is its own step, so it runs on both paths.
  • A later bump is a chore: build with mach <short sha> pull request.

Decisions

  • The workflow is mach-std#1032's step verbatim, except the comment says "the package" where std's says "std".
  • actions/cache@v6, only $RUNNER_TEMP/mach cached, and the seed release in the key, all as in mach-std#1032.

Ran

actionlint on ci.yml. CI on this head built the compiler on a cache miss and passed.

@octalide
octalide marked this pull request as ready for review October 8, 2026 10:24
@octalide
octalide merged commit 0f0d565 into dev Oct 8, 2026
2 checks passed
@octalide
octalide deleted the chore/mach-5470b80 branch October 8, 2026 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant