ci: Promote develop to master #18

Merged
linus merged 3 commits from develop into master 2026-10-18 15:26:20 +00:00
Collaborator

Cosmetic dual-branch realign after workflow-move merge commits. TREE_SAME (no file diff). Eva GO in open.md for Linus queue pass 2026-10-18.

Cosmetic dual-branch realign after workflow-move merge commits. TREE_SAME (no file diff). Eva GO in open.md for Linus queue pass 2026-10-18.
Move CI workflows to .forgejo/workflows
All checks were successful
CI / check-and-test (pull_request) Successful in 50s
22ac6bed2f
The server moved from Gitea to Forgejo, which reads .forgejo/workflows and ignores .gitea/workflows, so CI would silently stop running here. Move the files over. While at it, swap the gitea.* expression contexts for github.* (Forgejo rejects gitea.*) and point upload/download-artifact@v4 at code.forgejo.org/forgejo, since upstream v4 refuses to run on non-GitHub servers.
Merge pull request 'Merge master into develop' (#17) from master into develop
All checks were successful
CI / check-and-test (pull_request) Successful in 31s
898d149736
linus requested review from eva 2026-10-18 15:23:15 +00:00
linus merged commit d854e3d3a6 into master 2026-10-18 15:26:20 +00:00
Sign in to join this conversation.
No description provided.