Skip to content

Rename Aux to Auxiliary #358

Rename Aux to Auxiliary

Rename Aux to Auxiliary #358

Triggered via pull request August 16, 2023 13:24
Status Success
Total duration 8m 28s
Artifacts

test.yaml

on: pull_request
Matrix: steep-check
Matrix: test-ruby
Matrix: test
Fit to window
Zoom out
Zoom in