Skip to content

Actions: sorrachai/GraphLib

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
43 workflow runs
43 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
Cheeger's Lower Bound Build Lean project #45: Pull request #14 opened by davidzyc
2m 31s refactoring-spectral
refactoring-spectral
2m 31s
Prim implementation Build Lean project #44: Pull request #12 synchronize by chris-dem
Action required chris-dem:mst-impl
chris-dem:mst-impl
Action required
Merge pull request #11 from sorrachai/blueprint Build Lean project #43: Commit 3c4a0b2 pushed by BasilRohner
4m 14s main
main
4m 14s
attempt: clarify mathlib version to fix CI Build Lean project #42: Commit 5dc98b1 pushed by nnhjy
4m 7s main
main
4m 7s
Prim implementation Build Lean project #41: Pull request #12 synchronize by chris-dem
1m 38s chris-dem:mst-impl
chris-dem:mst-impl
1m 38s
Merge pull request #1 from sorrachai/bfs-alg-diGraph Build Lean project #38: Commit 3b1c1ad pushed by nnhjy
5m 1s main
main
5m 1s
First working version of directed graph BFS Build Lean project #37: Pull request #1 synchronize by nnhjy
1m 50s bfs-alg-diGraph
bfs-alg-diGraph
1m 50s
First working version of directed graph BFS Build Lean project #36: Pull request #1 synchronize by nnhjy
1m 42s bfs-alg-diGraph
bfs-alg-diGraph
1m 42s
First working version of directed graph BFS Build Lean project #35: Pull request #1 synchronize by nnhjy
1m 36s bfs-alg-diGraph
bfs-alg-diGraph
1m 36s
First working version of directed graph BFS Build Lean project #34: Pull request #1 synchronize by nnhjy
1m 35s bfs-alg-diGraph
bfs-alg-diGraph
1m 35s
feat: adapt walks to new graph definition Build Lean project #33: Pull request #7 synchronize by BasilRohner
1m 53s refactoring
refactoring
1m 53s
feat: adapt walks to new graph definition Build Lean project #32: Pull request #7 synchronize by BasilRohner
1m 36s refactoring
refactoring
1m 36s
feat: adapt walks to new graph definition Build Lean project #31: Pull request #7 synchronize by BasilRohner
1m 46s refactoring
refactoring
1m 46s
First working version of directed graph BFS Build Lean project #30: Pull request #1 synchronize by sorrachai
1m 30s bfs-alg-diGraph
bfs-alg-diGraph
1m 30s
Merge pull request #10 from AntoineduFresne/Antoine Build Lean project #29: Commit afaa910 pushed by sorrachai
4m 54s main
main
4m 54s
Update on Ackerman left inverse Build Lean project #28: Pull request #10 synchronize by AntoineduFresne
1m 29s AntoineduFresne:Antoine
AntoineduFresne:Antoine
1m 29s
First working version of directed graph BFS Build Lean project #27: Pull request #1 synchronize by nnhjy
35s bfs-alg-diGraph
bfs-alg-diGraph
35s
Update blueprint content structure Build Lean project #26: Pull request #11 opened by yzll0
1m 27s blueprint
blueprint
1m 27s
Update on Ackerman left inverse Build Lean project #25: Pull request #10 synchronize by AntoineduFresne
1m 36s AntoineduFresne:Antoine
AntoineduFresne:Antoine
1m 36s
First working version of directed graph BFS Build Lean project #24: Pull request #1 synchronize by nnhjy
1m 48s bfs-alg-diGraph
bfs-alg-diGraph
1m 48s
Update on Ackerman left inverse Build Lean project #23: Pull request #10 opened by AntoineduFresne
1m 1s AntoineduFresne:Antoine
AntoineduFresne:Antoine
1m 1s
First working version of directed graph BFS Build Lean project #22: Pull request #1 synchronize by nnhjy
1m 38s bfs-alg-diGraph
bfs-alg-diGraph
1m 38s
Merge pull request #9 from AntoineduFresne/main Build Lean project #21: Commit e0c77f3 pushed by sorrachai
4m 29s main
main
4m 29s
Splay Tree Build Lean project #20: Pull request #9 synchronize by AntoineduFresne
1m 29s AntoineduFresne:main
AntoineduFresne:main
1m 29s
Splay Tree Build Lean project #19: Pull request #9 synchronize by AntoineduFresne
1m 46s AntoineduFresne:main
AntoineduFresne:main
1m 46s