Skip to content

CI: more aggressively check zig1 bootstrapping#14802

Merged
andrewrk merged 1 commit intomasterfrom
ci-check-zig1-more
Mar 9, 2023
Merged

CI: more aggressively check zig1 bootstrapping#14802
andrewrk merged 1 commit intomasterfrom
ci-check-zig1-more

Conversation

@andrewrk
Copy link
Member

@andrewrk andrewrk commented Mar 5, 2023

This would have caught the problem we are seeing in #14799.

@andrewrk andrewrk mentioned this pull request Mar 5, 2023
@andrewrk andrewrk force-pushed the ci-check-zig1-more branch from 0a58e23 to 6bf4667 Compare March 5, 2023 19:46
@andrewrk andrewrk enabled auto-merge March 5, 2023 19:47
@andrewrk andrewrk force-pushed the ci-check-zig1-more branch from 6bf4667 to aa614a5 Compare March 6, 2023 00:31
@andrewrk andrewrk disabled auto-merge March 6, 2023 00:31
@andrewrk andrewrk force-pushed the ci-check-zig1-more branch from aa614a5 to 936a5b6 Compare March 6, 2023 06:30
@andrewrk andrewrk enabled auto-merge (rebase) March 6, 2023 06:30
@andrewrk andrewrk force-pushed the ci-check-zig1-more branch from 936a5b6 to 14596e1 Compare March 8, 2023 05:15
This would have caught the problem we are seeing in #14799.
@andrewrk andrewrk force-pushed the ci-check-zig1-more branch from 14596e1 to 344e848 Compare March 8, 2023 22:39
@andrewrk andrewrk merged commit 12b74b2 into master Mar 9, 2023
@andrewrk andrewrk deleted the ci-check-zig1-more branch March 9, 2023 06:26
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