Skip to content
This repository has been archived by the owner on Mar 21, 2024. It is now read-only.

Rename aux directory into auxiliary #18

Rename aux directory into auxiliary

Rename aux directory into auxiliary #18

Triggered via pull request October 24, 2023 12:58
Status Success
Total duration 43s
Artifacts

test.yml

on: pull_request
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