Nik Clayton 189b441042 ci: Run normal CI workflow on pushes to main (#618) ... This should ensure that everything that is built as part of regular CI can be saved to the build cache after the PR is merged.		2024-04-15 16:02:01 +02:00
..
ISSUE_TEMPLATE	chore: Update issue templates (#4)	2023-09-05 22:20:47 +02:00
actions/setup-build-env	chore(deps): update gradle/actions digest to 6cec5d4 (#617)	2024-04-15 15:52:40 +02:00
workflows	ci: Run normal CI workflow on pushes to main (#618)	2024-04-15 16:02:01 +02:00
ci-gradle.properties	ci: Simplify and improve CI speed (#615)	2024-04-15 15:24:07 +02:00