Skip to content
continuous integration (mathlib forks)

Update RatFunc.lean #31375

Sign in to view logs

Update RatFunc.lean

Update RatFunc.lean #31375

Triggered via push June 16, 2023 09:52
@Parcly-TaxelParcly-Taxel
pushed eaf979e
ratfunc_coprime_num_denom
Status Success
Total duration 12s
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)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in