CI at GitHub

glue: shorten the names of 30 files #134

Sign in to view logs

Triggered via push July 8, 2024 19:23

stephengold

master

Status Success

Total duration 8m 17s

Artifacts –

push.yml

on: push