Skip to content

Drop the nightly random-seed test job - #418

Merged
TheGreatAxios merged 1 commit into
mainfrom
drop-randomize-nightly
Aug 8, 2026
Merged

Drop the nightly random-seed test job#418
TheGreatAxios merged 1 commit into
mainfrom
drop-randomize-nightly

Conversation

@TheGreatAxios

Copy link
Copy Markdown
Collaborator

Removes the scheduled randomize-nightly job and the cron trigger that existed only to fire it.

It never ran on a pull request, so its only effect there was a permanently skipped check in the status list. Ordering leaks remain covered by the fixed-seed randomized run in the main check, which blocks the merge that introduces one rather than reporting it the next morning against an unrelated commit.

The job only ran on a schedule, so on every pull request it surfaced as a
skipped check that contributed nothing but a line of noise to the status
list. Ordering leaks are still caught: the fixed-seed randomized run stays
in the main check, where a failure blocks the merge that caused it instead
of being reported hours later against an unrelated commit.
@TheGreatAxios
TheGreatAxios merged commit 19d9710 into main Aug 8, 2026
2 checks passed
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