Skip to content
continuous integration

Update RatFunc.lean #30699

Sign in to view logs

Update RatFunc.lean

Update RatFunc.lean #30699

Triggered via push June 16, 2023 09:52
@Parcly-TaxelParcly-Taxel
pushed eaf979e
ratfunc_coprime_num_denom
Status Success
Total duration 13m 41s
Artifacts –

build.yml

on: push
Lint style
44s
Lint style
Check all files imported
9s
Check all files imported
Build
13m 15s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
10s
Post-CI job
Fit to window
Zoom out
Zoom in