🌐 US-Proxy
class="logged-out env-production page-responsive" style="word-wrap: break-word;" >
Skip to content

don't make me build ucm both with and without tests - #6203

Merged
aryairani merged 2 commits into
trunkfrom
fix/proofs-missing-toolchain
Mar 25, 2026
Merged

don't make me build ucm both with and without tests#6203
aryairani merged 2 commits into
trunkfrom
fix/proofs-missing-toolchain

Conversation

@aryairani

Copy link
Copy Markdown
Contributor

builds the "transcripts" test with --test, matching the "tests" test, so that we don't have to rebuild it two different ways

@aryairani
aryairani requested a review from a team as a code owner March 25, 2026 22:49
@aryairani
aryairani added this pull request to the merge queue Mar 25, 2026
Merged via the queue into trunk with commit 0128b19 Mar 25, 2026
5 checks passed
@aryairani
aryairani deleted the fix/proofs-missing-toolchain branch March 25, 2026 22:49
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