Skip to content
Back to pull request #6102

Update Mathlib/Analysis/Calculus/BumpFunction/Convolution.lean #38253

Sign in to view logs

Update Mathlib/Analysis/Calculus/BumpFunction/Convolution.lean

Update Mathlib/Analysis/Calculus/BumpFunction/Convolution.lean #38253

Triggered via push July 30, 2023 07:21
@sgouezelsgouezel
pushed 181d786
SG_ae_convolution
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