Skip to content
continuous integration (mathlib forks)

add simp_digits macro #75012

Sign in to view logs

add simp_digits macro

add simp_digits macro #75012

Triggered via push February 11, 2024 15:48
@dwrenshadwrensha
pushed 89c1b2a
simp_digits
Status Success
Total duration 10s
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)
2s
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