continuous integration (mathlib forks)

Fix for changes in #20644 #165780

Sign in to view logs

Triggered via push January 11, 2025 13:48

anthonyde

anthonyde/re-to-enfa

Status Skipped

Total duration 2s

Artifacts –

build_fork.yml

on: push

Lint style (fork)

Post-CI job (fork)