continuous integration (mathlib forks)

chore: turn `erw` into `rw` for free #157095

Sign in to view logs

Triggered via push December 2, 2024 16:03

Vierkantor

erw-to-rw-2024-12-02

Status Success

Total duration 11s

Artifacts –

build_fork.yml

on: push

Lint style (fork)

Cancel Previous Runs (CI)

Post-CI job (fork)