Skip to content

Actions: AlexKontorovich/PrimeNumberTheoremAnd

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
309 workflow runs
309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #227 from Ruben-VandeVelde/bump-16 .github/workflows/push.yml #309: Commit d41c596 pushed by AlexKontorovich
February 7, 2025 12:55 31m 22s main
main
February 7, 2025 12:55 31m 22s
Merge pull request #226 from Ruben-VandeVelde/bump-15 .github/workflows/push.yml #308: Commit 24f2a07 pushed by AlexKontorovich
February 7, 2025 02:58 30m 44s main
main
February 7, 2025 02:58 30m 44s
Merge pull request #225 from Ruben-VandeVelde/EulerProducts .github/workflows/push.yml #307: Commit 257721b pushed by AlexKontorovich
February 6, 2025 17:42 11m 43s main
main
February 6, 2025 17:42 11m 43s
Merge pull request #224 from ajirving/blueprint_fix .github/workflows/push.yml #306: Commit ba1ba4c pushed by AlexKontorovich
February 5, 2025 20:21 10m 17s main
main
February 5, 2025 20:21 10m 17s
Merge pull request #223 from ajirving/deriv_aux7 .github/workflows/push.yml #305: Commit 8119338 pushed by AlexKontorovich
February 3, 2025 14:19 9m 50s main
main
February 3, 2025 14:19 9m 50s
Merge pull request #222 from AlexKontorovich/fix-leanoks .github/workflows/push.yml #304: Commit 0e406e9 pushed by AlexKontorovich
February 2, 2025 05:18 9m 40s main
main
February 2, 2025 05:18 9m 40s
Merge pull request #221 from ajirving/move_tendsto_pow_log .github/workflows/push.yml #303: Commit 859d7c7 pushed by AlexKontorovich
February 2, 2025 04:59 9m 26s main
main
February 2, 2025 04:59 9m 26s
Merge pull request #220 from ianjauslin-rutgers/main .github/workflows/push.yml #302: Commit 45a9528 pushed by AlexKontorovich
February 1, 2025 01:11 27m 54s main
main
February 1, 2025 01:11 27m 54s
Merge pull request #219 from ianjauslin-rutgers/main .github/workflows/push.yml #301: Commit 6f9fb1f pushed by AlexKontorovich
January 31, 2025 20:57 25m 30s main
main
January 31, 2025 20:57 25m 30s
Merge pull request #218 from ianjauslin-rutgers/main .github/workflows/push.yml #300: Commit 8512029 pushed by AlexKontorovich
January 31, 2025 20:30 11s main
main
January 31, 2025 20:30 11s
Merge pull request #217 from AlexKontorovich/add-link-to-zulip .github/workflows/push.yml #299: Commit 2da7290 pushed by AlexKontorovich
January 31, 2025 20:02 17s main
main
January 31, 2025 20:02 17s
Merge pull request #215 from ajirving/remove_abel .github/workflows/push.yml #298: Commit c46b2b5 pushed by AlexKontorovich
January 9, 2025 22:23 10m 23s main
main
January 9, 2025 22:23 10m 23s
Merge pull request #214 from ajirving/bump414 .github/workflows/push.yml #297: Commit fea8d48 pushed by AlexKontorovich
January 5, 2025 13:50 27m 34s main
main
January 5, 2025 13:50 27m 34s
Merge pull request #213 from FLDutchmann/main .github/workflows/push.yml #296: Commit 6101a4b pushed by AlexKontorovich
December 11, 2024 06:41 24m 56s main
main
December 11, 2024 06:41 24m 56s
Merge pull request #212 from ajirving/blueprint_typos .github/workflows/push.yml #295: Commit 5480ed4 pushed by AlexKontorovich
December 11, 2024 06:40 27m 57s main
main
December 11, 2024 06:40 27m 57s
Merge pull request #211 from jjaassoonn/main .github/workflows/push.yml #294: Commit 3052777 pushed by AlexKontorovich
November 28, 2024 16:09 27m 29s main
main
November 28, 2024 16:09 27m 29s
Merge pull request #210 from pitmonticone/chore-unused-variable .github/workflows/push.yml #293: Commit b1b1d8d pushed by AlexKontorovich
November 13, 2024 13:32 10m 17s main
main
November 13, 2024 13:32 10m 17s
Merge pull request #209 from pitmonticone/bump .github/workflows/push.yml #292: Commit d652430 pushed by AlexKontorovich
November 13, 2024 13:31 10m 17s main
main
November 13, 2024 13:31 10m 17s
Merge pull request #204 from Ruben-VandeVelde/WeakPNT_character .github/workflows/push.yml #291: Commit a2063be pushed by AlexKontorovich
November 8, 2024 04:30 9m 23s main
main
November 8, 2024 04:30 9m 23s
Merge pull request #207 from collares/bump-4_14_0_rc2 .github/workflows/push.yml #290: Commit 3c0b979 pushed by ianjauslin-rutgers
November 7, 2024 18:03 27m 49s main
main
November 7, 2024 18:03 27m 49s
Merge pull request #205 from Ruben-VandeVelde/doc-lake-update .github/workflows/push.yml #289: Commit be63f57 pushed by AlexKontorovich
November 7, 2024 16:29 27m 32s main
main
November 7, 2024 16:29 27m 32s
Merge pull request #203 from Ruben-VandeVelde/v4.13.0 .github/workflows/push.yml #288: Commit 59fefb9 pushed by AlexKontorovich
November 7, 2024 14:52 25m 33s main
main
November 7, 2024 14:52 25m 33s
Merge pull request #202 from AlexKontorovich/more-dirichlet .github/workflows/push.yml #287: Commit 74ece3b pushed by AlexKontorovich
November 3, 2024 15:56 11m 51s main
main
November 3, 2024 15:56 11m 51s
Merge pull request #191 from Ruben-VandeVelde/abel .github/workflows/push.yml #286: Commit 06df5e4 pushed by AlexKontorovich
October 30, 2024 21:48 12m 3s main
main
October 30, 2024 21:48 12m 3s
Merge pull request #201 from AlexKontorovich/AK_work .github/workflows/push.yml #285: Commit d2b076b pushed by AlexKontorovich
October 30, 2024 20:51 11m 47s main
main
October 30, 2024 20:51 11m 47s