A merge to master re-ran the same compile the PR had just done. Keep
the pull_request trigger and drop the push-to-master one.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
- setup-java v4 is deprecated; use v5 (still with `cache: gradle`,
which works once job containers can reach the runner's cache server).
- Enable Gradle's build cache (org.gradle.caching) so unchanged
compilations are restored from cache instead of re-run.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
- scripts/port.sh ports a change made under versions/<from>/src to the
other versions with `git apply --3way`: clean where files match,
normal conflicts only where a version really differs. Supports
uncommitted changes or --commit, --to, --dry-run, and detects changes
already applied.
- .gitea/workflows/check.yml compiles every version on pull requests and
pushes to master (--continue reports all failing versions).
- VERSION_GUIDE.md documents the layout, porting, and adding a version.
Closes#17, closes#18
Co-Authored-By: Claude Opus 5.5 <[email protected]>