Skip to content
continuous integration (mathlib forks)

make simp #95319

Sign in to view logs

make simp

make simp #95319

Triggered via push May 9, 2024 07:48
@YaelDilliesYaelDillies
pushed 13b4f95
mul_den_eq_num
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