Skip to content
continuous integration (mathlib forks)

Requested golfs #46160

Sign in to view logs

Requested golfs

Requested golfs #46160

Triggered via push September 13, 2023 21:21
@ocfnashocfnash
pushed 22f6b08
ocfnash/finset_one_lt_card_iff
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)
3s
Cancel Previous Runs (CI)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in