Skip to content

Actions: RemyDegenne/CLT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump (#61) Compile blueprint #64: Commit 50990c1 pushed by RemyDegenne
13s master
master
13s
Bump Build Project #195: Pull request #61 opened by EtienneC30
1m 52s EtienneC30:bump
EtienneC30:bump
1m 52s
bump mathlib (#60) Compile blueprint #63: Commit fb3df90 pushed by RemyDegenne
4m 16s master
master
4m 16s
bump mathlib Build Project #194: Pull request #60 opened by EtienneC30
1m 58s EtienneC30:bump
EtienneC30:bump
1m 58s
feat: prove theorem 6.7 Build Project #193: Pull request #59 synchronize by Komyyy
1m 39s Komyyy:theorem6.7
Komyyy:theorem6.7
1m 39s
feat: prove theorem 6.7 Build Project #192: Pull request #59 opened by Komyyy
2m 5s Komyyy:theorem6.7
Komyyy:theorem6.7
2m 5s
use innerSL from Mathlib instead of continuousBilinFormOfInner (#58) Compile blueprint #62: Commit 07a49e9 pushed by RemyDegenne
3m 37s master
master
3m 37s
use innerSL from Mathlib instead of continuousBilinFormOfInner Build Project #191: Pull request #58 opened by sgouezel
2m 16s sgouezel:SG_innerSL
sgouezel:SG_innerSL
2m 16s
bump mathlib (#57) Compile blueprint #61: Commit 8fd366c pushed by RemyDegenne
4m 12s master
master
4m 12s
bump mathlib Build Project #190: Pull request #57 opened by sgouezel
2m 4s sgouezel:SG_bump
sgouezel:SG_bump
2m 4s
Update current status in README Compile blueprint #60: Commit 07ea7e3 pushed by RemyDegenne
5m 17s master
master
5m 17s
feat: prove Prokhorov's theorem (#56) Compile blueprint #59: Commit b7da25c pushed by RemyDegenne
42s master
master
42s
feat: prove Prokhorov's theorem Build Project #189: Pull request #56 synchronize by Komyyy
1m 59s Komyyy:prokhorov
Komyyy:prokhorov
1m 59s
feat: prove Prokhorov's theorem Build Project #188: Pull request #56 synchronize by Komyyy
1m 49s Komyyy:prokhorov
Komyyy:prokhorov
1m 49s
feat: prove Prokhorov's theorem Build Project #187: Pull request #56 synchronize by Komyyy
1m 48s Komyyy:prokhorov
Komyyy:prokhorov
1m 48s
chore: bump dependencies (#55) Compile blueprint #58: Commit df258e5 pushed by RemyDegenne
4m 11s master
master
4m 11s
feat: prove Prokhorov's theorem Build Project #186: Pull request #56 opened by Komyyy
2m 0s Komyyy:prokhorov
Komyyy:prokhorov
2m 0s
chore: bump dependencies Build Project #185: Pull request #55 opened by Komyyy
2m 2s Komyyy:bump
Komyyy:bump
2m 2s
Update dependencies, fix duplicate name (#54) Compile blueprint #57: Commit 35d4ee3 pushed by RemyDegenne
4m 11s master
master
4m 11s
Update dependencies, fix duplicate name Build Project #184: Pull request #54 opened by RemyDegenne
2m 7s gaussian
gaussian
2m 7s
Remove unused sorry, minimize imports (#53) Compile blueprint #56: Commit c777ab9 pushed by RemyDegenne
3m 58s master
master
3m 58s
Remove unused sorry, minimize imports Build Project #183: Pull request #53 opened by RemyDegenne
1m 55s gaussian
gaussian
1m 55s
chore: shorten proof of tendsto_pow_exp_of_isLittleO (#52) Compile blueprint #55: Commit 181e256 pushed by RemyDegenne
4m 24s master
master
4m 24s
chore: shorten proof of tendsto_pow_exp_of_isLittleO Build Project #182: Pull request #52 opened by hanwenzhu
2m 3s hanwenzhu:master
hanwenzhu:master
2m 3s
bump Mathlib (#51) Compile blueprint #54: Commit 3e08137 pushed by RemyDegenne
4m 31s master
master
4m 31s