build

standardize capitalization of GitHub, correct a.10.1.a version #17

Sign in to view logs

Triggered via pull request July 16, 2025 20:10

tildejustin

opened #173

tildejustin:more-formatting

Status Success

Total duration 11s

Artifacts –

build.yml

on: pull_request