Skip to content

Actions: YaelDillies/LeanCamCombi

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint to mathlib standards Build Lean project #15: Commit 34daaaa pushed by YaelDillies
10m 46s master
master
10m 46s
Bump mathlib to v4.26.0 Build Lean project #14: Commit 5f64737 pushed by YaelDillies
42m 7s master
master
42m 7s
Bump mathlib Build Lean project #13: Commit e3fe6bc pushed by YaelDillies
43m 9s master
master
43m 9s
Update workflow badge Build Lean project #12: Commit 487914a pushed by YaelDillies
9m 0s master
master
9m 0s
There's no blueprint Build Lean project #11: Commit d0d2e32 pushed by YaelDillies
43m 54s master
master
43m 54s
Use leanprover-community/docgen-action Build Lean project #10: Commit 41ea0bc pushed by YaelDillies
4m 48s master
master
4m 48s