Skip to content
continuous integration (mathlib forks)

Update Mathlib/Data/Set/Pointwise/SMul.lean #76982

Sign in to view logs

Update Mathlib/Data/Set/Pointwise/SMul.lean

Update Mathlib/Data/Set/Pointwise/SMul.lean #76982

Triggered via push February 18, 2024 21:30
@jsm28jsm28
pushed cc87cec
jsm28/smul_set_disjoint_iff
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)
3s
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