Skip to content

Actions: AlexKontorovich/CoveringSpacesProject

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhance RootsComplexPolynomials.lean with new lemmas and definitions .github/workflows/push.yml #52: Commit 20de448 pushed by AlexKontorovich
1h 19m 55s main
main
1h 19m 55s
Merge pull request #15 from AlexKontorovich/AK_work .github/workflows/push.yml #51: Commit f8bdbc9 pushed by AlexKontorovich
13m 4s main
main
13m 4s
Ak work .github/workflows/pull_request.yml #22: Pull request #15 opened by AlexKontorovich
1m 56s AK_work
AK_work
1m 56s
Merge pull request #14 from AlexKontorovich/AK_work .github/workflows/push.yml #50: Commit 6e96caf pushed by AlexKontorovich
12m 14s main
main
12m 14s
Ak work .github/workflows/pull_request.yml #21: Pull request #14 opened by AlexKontorovich
1m 33s AK_work
AK_work
1m 33s
Merge pull request #13 from AlexKontorovich/AK_work .github/workflows/push.yml #49: Commit c3d7253 pushed by AlexKontorovich
11m 48s main
main
11m 48s
Ak work .github/workflows/pull_request.yml #20: Pull request #13 opened by AlexKontorovich
1m 36s AK_work
AK_work
1m 36s
Merge pull request #12 from AlexKontorovich/AK_work .github/workflows/push.yml #48: Commit 80d6537 pushed by AlexKontorovich
12m 25s main
main
12m 25s
Ak work .github/workflows/pull_request.yml #19: Pull request #12 synchronize by AlexKontorovich
1m 47s AK_work
AK_work
1m 47s
Merge pull request #11 from AlexKontorovich/AK_work .github/workflows/push.yml #47: Commit 75310ef pushed by AlexKontorovich
1h 14m 57s main
main
1h 14m 57s
ImPBlog done .github/workflows/pull_request.yml #18: Pull request #11 opened by AlexKontorovich
1m 37s AK_work
AK_work
1m 37s
Merge pull request #10 from AlexKontorovich/AlexKontorovich-patch-3 .github/workflows/push.yml #46: Commit 0528f2d pushed by AlexKontorovich
13m 28s main
main
13m 28s
Update RootsComplexPolynomials.lean .github/workflows/pull_request.yml #17: Pull request #10 opened by AlexKontorovich
1m 37s AlexKontorovich-patch-3
AlexKontorovich-patch-3
1m 37s
Merge pull request #9 from jmorgan-hub/JMwork .github/workflows/push.yml #45: Commit 3e1708d pushed by AlexKontorovich
12m 25s main
main
12m 25s
Fixed error with two ends of proof of Theorem 1 .github/workflows/pull_request.yml #16: Pull request #9 synchronize by AlexKontorovich
1m 45s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 45s
Merge pull request #8 from AlexKontorovich/AK_work .github/workflows/push.yml #44: Commit ceab19e pushed by AlexKontorovich
12m 9s main
main
12m 9s
Fix notation for loop definition and homotopy in RootsComplexPolynomi… .github/workflows/pull_request.yml #15: Pull request #8 opened by AlexKontorovich
1m 36s AK_work
AK_work
1m 36s
Merge pull request #7 from AlexKontorovich/AK_work .github/workflows/push.yml #43: Commit 7053cff pushed by AlexKontorovich
12m 23s main
main
12m 23s
Fix definitions and labels in RootsComplexPolynomials.lean for consistency and clarity .github/workflows/pull_request.yml #14: Pull request #7 synchronize by AlexKontorovich
1m 35s AK_work
AK_work
1m 35s
Fix definitions and labels in RootsComplexPolynomials.lean for consistency and clarity .github/workflows/pull_request.yml #13: Pull request #7 synchronize by AlexKontorovich
1m 33s AK_work
AK_work
1m 33s
Fix definitions and labels in RootsComplexPolynomials.lean for consistency and clarity .github/workflows/pull_request.yml #12: Pull request #7 opened by AlexKontorovich
1m 48s AK_work
AK_work
1m 48s
Merge pull request #6 from jmorgan-hub/JMwork .github/workflows/push.yml #42: Commit d51b264 pushed by AlexKontorovich
1m 48s main
main
1m 48s
correcte mistakes on syntax of uses .github/workflows/pull_request.yml #11: Pull request #6 synchronize by jmorgan-hub
1m 54s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 54s
correcte mistakes on syntax of uses .github/workflows/pull_request.yml #10: Pull request #6 synchronize by jmorgan-hub
1m 54s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 54s
correcte mistakes on syntax of uses .github/workflows/pull_request.yml #9: Pull request #6 synchronize by jmorgan-hub
1m 45s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 45s