push.yml: set up Java before cloning the GitHub repo #334

Sign in to view logs

Re-run triggered April 5, 2024 03:23

stephengold

master

Status Success

Total duration 55s

Artifacts –

push.yml

on: push