Skip to content

Actions: YaelDillies/ForbiddenMatrix

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint to mathlib standards Build Lean project #72: Commit b5f5e80 pushed by YaelDillies
13m 10s master
master
13m 10s
Bump mathlib to v4.26.0 Build Lean project #71: Commit 12f7341 pushed by YaelDillies
22m 28s master
master
22m 28s
Use checkdecls Build Lean project #70: Commit f53b981 pushed by YaelDillies
1h 32m 32s master
master
1h 32m 32s
Use leanprover-community/docgen-action Build Lean project #69: Commit 77c5df4 pushed by YaelDillies
4m 11s master
master
4m 11s
Use leanprover-community/docgen-action Build Lean project #68: Commit aae349c pushed by YaelDillies
5m 59s master
master
5m 59s
fix: add nolint unusedArguments to AllPattern (#1) Build Lean project #67: Commit 3e0fcba pushed by YaelDillies
19m 13s master
master
19m 13s
Bump mathlib to v4.25.0 Build Lean project #66: Commit 7cbfa74 pushed by YaelDillies
17m 36s master
master
17m 36s
Build Lean project Build Lean project #65: by YaelDillies
17m 58s master
master
17m 58s
Bump mathlib to v4.23.0 Build Lean project #64: Commit f56ec6c pushed by YaelDillies
19m 18s master
master
19m 18s
Bump mathlib Build Lean project #63: Commit 6c62eed pushed by YaelDillies
15m 38s master
master
15m 38s
Bump mathlib to v4.23.0-rc2 Build Lean project #62: Commit 9a36cba pushed by YaelDillies
17m 51s master
master
17m 51s
Bump mathlib to v4.22.0 Build Lean project #61: Commit 409cc25 pushed by YaelDillies
18m 23s master
master
18m 23s
lean-release-tag workflow Build Lean project #60: Commit 02b0a22 pushed by YaelDillies
11m 19s master
master
11m 19s
lean-release-tag workflow Build Lean project #59: Commit 9fad753 pushed by YaelDillies
16m 10s master
master
16m 10s
Bump mathlib to v4.21.0 Build Lean project #58: Commit 4ec70dc pushed by YaelDillies
16m 29s master
master
16m 29s
Yet more cleanup Build Lean project #57: Commit c189dc7 pushed by YaelDillies
10m 56s master
master
10m 56s
More cleanup Build Lean project #56: Commit 6877173 pushed by YaelDillies
11m 13s master
master
11m 13s
More whitespace Build Lean project #55: Commit 8be7bbe pushed by YaelDillies
23m 46s master
master
23m 46s
Whitespace Build Lean project #54: Commit f119ab7 pushed by YaelDillies
24m 18s master
master
24m 18s
Bump mathlib to v4.20.1 Build Lean project #53: Commit 0baf909 pushed by YaelDillies
23m 42s master
master
23m 42s
Don't cache own docs Build Lean project #52: Commit 6d217b9 pushed by YaelDillies
22m 45s master
master
22m 45s
Delete redundant docbuild folder Build Lean project #51: Commit 725adb7 pushed by YaelDillies
21m 40s master
master
21m 40s
Bump mathlib to v4.19.0 Build Lean project #50: Commit db03b5f pushed by YaelDillies
3m 15s master
master
3m 15s
Bump mathlib to v4.19.0 Build Lean project #49: Commit 715ab2e pushed by YaelDillies
3m 46s master
master
3m 46s
Bump mathlib to v4.19.0 Build Lean project #48: Commit 5fb0894 pushed by YaelDillies
3m 20s master
master
3m 20s