Skip to content

Rename aux into auxiliary (#35) #68

Rename aux into auxiliary (#35)

Rename aux into auxiliary (#35) #68

Triggered via push October 24, 2023 14:16
Status Success
Total duration 1m 3s
Artifacts

test.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (19.x)
No github_token supplied, API requests will be subject to stricter rate limiting