8000 ci: activate v3 storage schedule runs from main (#760) by adityamukho · Pull Request #787 · project-minigraf/minigraf · GitHub
[go: up one dir, main page]

Skip to content

ci: activate v3 storage schedule runs from main (#760) - #787

Merged
adityamukho merged 1 commit into
mainfrom
ci/760-dst-nightly
Oct 29, 2026
Merged

adityamukho merged 1 commit into
mainfrom
ci/760-dst-nightly

Conversation

@adityamukho
Copy link
Copy Markdown
Collaborator

GitHub starts scheduled workflows from the default branch. This adds the identical deterministic-schedules.yml from #786 to main so nightly/manual runs can explicitly check out v3 and exercise its bounded storage schedule suite.

Merge after #786 lands on v3. This is intentionally workflow-only: v2.x gets no Shuttle dependency or test implementation. PR checks target v3; the scheduled and default manual source ref is v3. Update those refs to main at the v3 release cut.

The workflow runs Linux/macOS/Windows stable and Linux Rust 1.89, bounds the execution budget, rejects zero selected tests, and uploads source, lockfile, compiler details and failure logs for replay. It requires only contents-read permission and does not change branch protection or create issues/comments.

Validation: byte-identical to the workflow in #786; actionlint 1.7.12 passed. Its actual exploration shell block passed PR/nightly budgets on the bench under Rust 1.89, rejected a non-instrumented zero-test build, and retained the injected failure's status and replay schedule through tee. Native matrix results are tracked on #786.

Companion to #786; part of #760 / #383.

@codecov
codecov Bot commented Oct 29, 2026
Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@adityamukho
adityamukho marked this pull request as ready for review October 29, 2026 03:23
@adityamukho
adityamukho merged commit c8ae841 into main Oct 29, 2026
16 checks passed
@adityamukho
adityamukho deleted the ci/760-dst-nightly branch October 29, 2026 03: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

0