Skip to content

Merge pull request #9 from nedbat/nedbat/catalog-info-name #35

Merge pull request #9 from nedbat/nedbat/catalog-info-name

Merge pull request #9 from nedbat/nedbat/catalog-info-name #35

Triggered via push December 19, 2023 14:36
Status Success
Total duration 2m 0s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Fit to window
Zoom out
Zoom in