Skip to content

Actions: RemyDegenne/CLT

Actions

Build Project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
12 workflow runs
12 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
bump 4.29.1 Build Project #196: Pull request #62 opened by or4nge19
1m 53s or4nge19:master
or4nge19:master
1m 53s
Bump Build Project #195: Pull request #61 opened by EtienneC30
1m 52s EtienneC30:bump
EtienneC30:bump
1m 52s
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 Build Project #191: Pull request #58 opened by sgouezel
2m 16s sgouezel:SG_innerSL
sgouezel:SG_innerSL
2m 16s
bump mathlib Build Project #190: Pull request #57 opened by sgouezel
2m 4s sgouezel:SG_bump
sgouezel:SG_bump
2m 4s
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
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