CI at GitHub

bugfix: the "-Ptarget=" option is ineffective #44

Sign in to view logs

Triggered via push June 29, 2024 03:52

stephengold

master

Status Success

Total duration 6m 27s

Artifacts –

push.yml

on: push