Skip to content

Actions: YaelDillies/LeanCamCombi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
292 workflow runs
292 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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