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

Sign in to view logs

Triggered via push June 13, 2024 00:36

stephengold

master

Status Success

Total duration 1m 53s

Artifacts –

push.yml

on: push