Skip to content
Docs

Remove all alt-orth strings belonging to non-target orth, and remove … #549

Sign in to view logs

Remove all alt-orth strings belonging to non-target orth, and remove …

Remove all alt-orth strings belonging to non-target orth, and remove … #549

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
10s
10s