Repository navigation

ci: fix Java version, duplicate PR runs, and release checksums - #35

Merged

rawatprince merged 1 commit into

mainfrom

fix/ci-release-workflows

Jul 10, 2026

Merged

ci: fix Java version, duplicate PR runs, and release checksums#35
rawatprince merged 1 commit into
mainfrom
fix/ci-release-workflows

Commits on Jul 10, 2026
- ci: build on Java 21, stop duplicate PR runs, attach release checksums
  rawatprince
  committed
  1fe337d