Skip to content
Back to pull request #18322

chore: some erws that can become rw for free #136254

Sign in to view logs

chore: some erws that can become rw for free

chore: some erws that can become rw for free #136254

Triggered via push October 28, 2024 08:41
@VierkantorVierkantor
pushed db94b8b
unerw-MonoidAlgebra
Status Success
Total duration 21m 27s
Artifacts –

build.yml

on: push
Lint style
1m 8s
Lint style
Build
21m 5s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in