Skip to content

Actions: AlexKontorovich/CoveringSpacesProject

Actions

.github/workflows/pull_request.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull_request.yml
22 workflow runs
22 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
Ak work .github/workflows/pull_request.yml #22: Pull request #15 opened by AlexKontorovich
1m 56s AK_work
AK_work
1m 56s
Ak work .github/workflows/pull_request.yml #21: Pull request #14 opened by AlexKontorovich
1m 33s AK_work
AK_work
1m 33s
Ak work .github/workflows/pull_request.yml #20: Pull request #13 opened by AlexKontorovich
1m 36s AK_work
AK_work
1m 36s
Ak work .github/workflows/pull_request.yml #19: Pull request #12 synchronize by AlexKontorovich
1m 47s AK_work
AK_work
1m 47s
ImPBlog done .github/workflows/pull_request.yml #18: Pull request #11 opened by AlexKontorovich
1m 37s AK_work
AK_work
1m 37s
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
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
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
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
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
correcte mistakes on syntax of uses .github/workflows/pull_request.yml #8: Pull request #6 opened by jmorgan-hub
1m 47s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 47s
Rename IsCoveringOn to DefIsCoveringOn for consistency in definitions .github/workflows/pull_request.yml #7: Pull request #5 synchronize by jmorgan-hub
1m 36s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 36s
Rename IsCoveringOn to DefIsCoveringOn for consistency in definitions .github/workflows/pull_request.yml #6: Pull request #5 synchronize by jmorgan-hub
1m 34s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 34s
Rename IsCoveringOn to DefIsCoveringOn for consistency in definitions .github/workflows/pull_request.yml #5: Pull request #5 opened by jmorgan-hub
1m 44s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 44s
Rename expDef to Defexp for consistency in definitions .github/workflows/pull_request.yml #4: Pull request #4 opened by jmorgan-hub
1m 49s jmorgan-hub:JMwork
jmorgan-hub:JMwork
1m 49s
Update CoveringSpacesProject.lean .github/workflows/pull_request.yml #3: Pull request #3 opened by ianjauslin-rutgers
48s ianjauslin-rutgers:main
ianjauslin-rutgers:main
48s
Update push.yml .github/workflows/pull_request.yml #2: Pull request #2 opened by AlexKontorovich
1m 35s AlexKontorovich-patch-2
AlexKontorovich-patch-2
1m 35s
Update push.yml .github/workflows/pull_request.yml #1: Pull request #1 opened by AlexKontorovich
1m 44s AlexKontorovich-patch-1
AlexKontorovich-patch-1
1m 44s