Skip to content
continuous integration (mathlib forks)

Merge branch 'master' into eric-wieser/tower-CliffordAlgebra #38821

Sign in to view logs

Merge branch 'master' into eric-wieser/tower-CliffordAlgebra

Merge branch 'master' into eric-wieser/tower-CliffordAlgebra #38821

Triggered via push August 2, 2023 10:00
@eric-wiesereric-wieser
pushed bdefbb7
eric-wieser/tower-CliffordAlgebra
Status Success
Total duration 11s
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)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in