Skip to content
continuous integration (mathlib forks)

correction #78480

Sign in to view logs

correction

correction #78480

Triggered via push February 25, 2024 00:32
@mattrobballmattrobball
pushed 67f77dd
mrb/clean_up_ats_measure_meas_space
Status Success
Total duration 13s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
0s
Lint style (fork)
Check all files imported (fork)
0s
Check all files imported (fork)
Build (fork)
0s
Build (fork)
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows (fork)
0s
check workflows (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in