Skip to content

Actions: YaelDillies/LeanCamCombi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
303 workflow runs
303 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI changes coming from add-combi Build Lean project #249: Commit f381ce6 pushed by YaelDillies
19m 37s master
master
19m 37s
Reverts MathlibImportError Build Lean project #248: Commit ce53e9d pushed by javierlcontreras
5m 0s master
master
5m 0s
improves error msg from MathlibImportError Build Lean project #247: Commit 5d18b68 pushed by javierlcontreras
18s master
master
18s
CI to check Mathlib imports: negative test Build Lean project #246: Commit d36cd44 pushed by javierlcontreras
14s master
master
14s
Move code to MiscYD Build Lean project #245: Commit b0ce14d pushed by YaelDillies
4m 56s master
master
4m 56s
Move results to MiscYD Build Lean project #244: Commit b1d8d8f pushed by YaelDillies
4m 36s master
master
4m 36s
File dependencies Build Lean project #243: Commit 52a5a3e pushed by YaelDillies
5m 24s master
master
5m 24s
File dependencies Build Lean project #242: Commit 6aa3164 pushed by YaelDillies
19m 0s master
master
19m 0s
Dedup apk call in CI Build Lean project #241: Commit 3084cda pushed by YaelDillies
18m 28s master
master
18m 28s
Bump mathlib Build Lean project #240: Commit 268d19a pushed by YaelDillies
20m 36s master
master
20m 36s
File dependencies Build Lean project #239: Commit c9696bf pushed by YaelDillies
2m 46s master
master
2m 46s
Dedup apk call in CI Build Lean project #238: Commit 3f9c2cc pushed by YaelDillies
4m 56s master
master
4m 56s
PlainCombi: Upper bound on intersecting families .github/workflows/push_pr.yml #44: Pull request #41 opened by yahelmanor
2m 23s yahelmanor:inter
yahelmanor:inter
2m 23s
Ceva's theorem .github/workflows/push_pr.yml #43: Commit fc6e300 pushed by YaelDillies
2m 17s ceva
ceva
2m 17s
PlainCombi: Symmetric Chain Decomposition .github/workflows/push_pr.yml #42: Pull request #21 synchronize by YaelDillies
2m 26s scd
scd
2m 26s
Start on SCD .github/workflows/push_pr.yml #41: Commit 1a59e69 pushed by YaelDillies
2m 35s scd
scd
2m 35s
Kneser: Refactor to not use Finset.mulStab .github/workflows/push_pr.yml #40: Pull request #22 synchronize by YaelDillies
2m 16s kneser
kneser
2m 16s
more fix .github/workflows/push_pr.yml #39: Commit 51eb59a pushed by YaelDillies
2m 19s kneser
kneser
2m 19s
Bump mathlib Build Lean project #237: Commit fcb078e pushed by YaelDillies
20m 21s master
master
20m 21s
Make lake into local lake in import_graph.py Build Lean project #236: Commit 16772dc pushed by javierlcontreras
5m 10s master
master
5m 10s
build before lake exe graph in CI Build Lean project #235: Commit b12de8a pushed by javierlcontreras
2m 25s master
master
2m 25s
builds before runs import graph viz, in gitpod.yml Build Lean project #234: Commit cf6500d pushed by javierlcontreras
14s master
master
14s
makes wait smaller, the bug was not this. I need to lake build before… Build Lean project #233: Commit d1f6111 pushed by javierlcontreras
14s master
master
14s
fix: wait for stabilization of lae exe graph output Build Lean project #232: Commit 17333c0 pushed by javierlcontreras
25s master
master
25s
Fix Build Lean project #231: Commit 8af5e93 pushed by javierlcontreras
21s master
master
21s