Skip to content

ci: test against main and devel weekly#603

Merged
adrn merged 1 commit into
mainfrom
ci-weekly
Jun 15, 2026
Merged

ci: test against main and devel weekly#603
adrn merged 1 commit into
mainfrom
ci-weekly

Conversation

@lgarrison

Copy link
Copy Markdown
Collaborator

Describe your changes

We want to make sure that Gala remains compatible with EXP/devel, so we'll schedule our devel tests (which use EXP/devel) to run weekly. Tests in our main continue to run weekly against a tagged EXP version.

To my/Claude's understanding, scheduled GitHub tests only run on the default branch. So what this PR does is set up the default branch weekly tests as a matrix of [main, devel] and check out the appropriate one once the run has kicked off.

Follow-up to #593.


Relatedly: @adrn thanks for restoring the devel branch. I think you can add a branch protection rule to prevent it from being deleted again: https://github.com/adrn/gala/settings/rules/new?target=branch

(Apologies if you already did so; gh ruleset check says it's not protected, but I'm not sure if I have permission to see all rulesets.)

Checklist

  • Did you add tests?
  • Did you add documentation for your changes?
  • Did you reference any relevant issues?
  • Did you add a changelog entry? (see CHANGES.rst)
  • Are the CI tests passing?
  • Is the milestone set?

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
@lgarrison lgarrison requested a review from adrn June 15, 2026 14:20
@lgarrison

Copy link
Copy Markdown
Collaborator Author

This should be pretty quick to review. I think CI is green; the ReadTheDocs run may just need to be restarted.

@adrn adrn left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Aha, nice - this looks good. Thanks @lgarrison ! RTD build stall is unrelated.

@adrn adrn merged commit 56b9b24 into main Jun 15, 2026
28 of 29 checks passed
@adrn adrn deleted the ci-weekly branch June 15, 2026 14:31
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.

2 participants