Merge master into develop #17

Merged
linus merged 2 commits from master into develop 2026-10-18 02:46:53 +00:00
Collaborator

Brings develop up to master after the workflow move landed on both branches separately. No content change.

Brings develop up to master after the workflow move landed on both branches separately. No content change.
Move CI workflows to .forgejo/workflows
All checks were successful
CI / check-and-test (pull_request) Successful in 54s
5994766038
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 'Move CI workflows to .forgejo/workflows' (#15) from jerry/move-workflows-to-forgejo into master
All checks were successful
CI / check-and-test (push) Successful in 53s
CI / check-and-test (pull_request) Successful in 47s
b8aef4e07e
linus merged commit 898d149736 into develop 2026-10-18 02:46:53 +00:00
Sign in to join this conversation.
No description provided.