Skip to content

Actions: AlexKontorovich/PrimeNumberTheoremAnd

Actions

Build Project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
2,500+ workflow runs
2,500+ 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
fix(Dusart): make corollary_5_3_a a strict inequality (#1708) Build Project #2744: Commit a515467 pushed by teorth
54m 51s main
main
54m 51s
feat(TMEEMT): fill RS_prime.theorem_b from Dusart corollary 5.2(a) (#… Build Project #2743: Commit b66f961 pushed by teorth
42s main
main
42s
feat(TMEEMT): fill Dusart1999.theorem_c from Dusart theorem 4.2 (#1766) Build Project #2742: Commit 40546f9 pushed by teorth
51s main
main
51s
feat(TMEEMT): fill Buthe.theorem_a/b from the Buthe.lean statements (… Build Project #2741: Commit 4632b5f pushed by teorth
49s main
main
49s
Chore: bump to v4.33.0 Build Project #2740: Pull request #1747 synchronize by teorth
51m 42s ajirving:bump433
ajirving:bump433
51m 42s
chore(deps): bump leanprover/lean-action from 1.5.0 to 1.6.0 (#1769) Build Project #2739: Commit c6c7361 pushed by teorth
54m 17s main
main
54m 17s
docs: add IEANTN porting notice to contributor-facing docs Build Project #2738: Pull request #1770 opened by teorth
53m 6s docs/ieantn-porting-notice
docs/ieantn-porting-notice
53m 6s
feat(TMEEMT): fill Dusart1999.pi_inequality from Dusart corollary 5.3(a) Build Project #2737: Pull request #1767 synchronize by Chessing234
54m 26s Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
54m 26s
feat(TMEEMT): fill Dusart1999.pi_inequality from Dusart corollary 5.3(a) Build Project #2736: Pull request #1767 synchronize by Chessing234
45m 33s Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
45m 33s
feat(TMEEMT): fill Dusart1999.pi_inequality from Dusart corollary 5.3(a) Build Project #2735: Pull request #1767 synchronize by Chessing234
34m 58s Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
34m 58s
feat(TMEEMT): fill RS_prime.theorem_b from Dusart corollary 5.2(a) Build Project #2734: Pull request #1765 synchronize by Chessing234
53m 20s Chessing234:feat/tmeemt-rs-theorem-b-from-dusart
Chessing234:feat/tmeemt-rs-theorem-b-from-dusart
53m 20s
feat(TMEEMT): fill Buthe.theorem_a/b from the Buthe.lean statements Build Project #2733: Pull request #1764 synchronize by Chessing234
56m 37s Chessing234:feat/tmeemt-buthe-ab-from-buthe
Chessing234:feat/tmeemt-buthe-ab-from-buthe
56m 37s
feat(TMEEMT): fill Dusart1999.pi_inequality from Dusart corollary 5.3(a) Build Project #2732: Pull request #1767 synchronize by Chessing234
49m 31s Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
49m 31s
feat(TMEEMT): fill RS_prime.theorem_b from Dusart corollary 5.2(a) Build Project #2731: Pull request #1765 synchronize by Chessing234
45m 14s Chessing234:feat/tmeemt-rs-theorem-b-from-dusart
Chessing234:feat/tmeemt-rs-theorem-b-from-dusart
45m 14s
feat(TMEEMT): fill Buthe.theorem_a/b from the Buthe.lean statements Build Project #2730: Pull request #1764 synchronize by Chessing234
43m 8s Chessing234:feat/tmeemt-buthe-ab-from-buthe
Chessing234:feat/tmeemt-buthe-ab-from-buthe
43m 8s
fix(Dusart): make corollary_5_3_a a strict inequality Build Project #2729: Pull request #1708 synchronize by Chessing234
43m 17s Chessing234:fix/pi-star-and-dusart-statements
Chessing234:fix/pi-star-and-dusart-statements
43m 17s
fix(Dusart): make corollary_5_3_a a strict inequality Build Project #2728: Pull request #1708 reopened by Chessing234
55m 57s Chessing234:fix/pi-star-and-dusart-statements
Chessing234:fix/pi-star-and-dusart-statements
55m 57s
chore(deps): bump leanprover/lean-action from 1.5.0 to 1.6.0 Build Project #2727: Pull request #1769 opened by dependabot Bot
52m 31s dependabot/github_actions/leanprover/lean-action-1.6.0
dependabot/github_actions/leanprover/lean-action-1.6.0
52m 31s
feat(StrongPNT): formalize Zero-Free Strip log-deriv bounds and contour estimates (I2New, I3New, I4New)Feat/strong pnt delta range bound Build Project #2726: Pull request #1752 synchronize by navindutta
Action required navindutta:feat/strong-pnt-delta-range-bound
navindutta:feat/strong-pnt-delta-range-bound
Action required
Chore: bump to v4.33.0 Build Project #2725: Pull request #1747 synchronize by ajirving
49m 28s ajirving:bump433
ajirving:bump433
49m 28s
feat(BKLNW): formalize Lemma 10 Build Project #2724: Pull request #1768 opened by lsmeng
Action required lsmeng:lemma10
lsmeng:lemma10
Action required
feat(TMEEMT): fill Dusart1999.pi_inequality from Dusart corollary 5.3(a) Build Project #2723: Pull request #1767 opened by Chessing234
45m 32s Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
Chessing234:feat/tmeemt-dusart1999-pi-from-cor-5-3-a
45m 32s
feat(TMEEMT): fill Dusart1999.theorem_c from Dusart theorem 4.2 Build Project #2722: Pull request #1766 opened by Chessing234
43m 26s Chessing234:feat/tmeemt-dusart1999-c-table-4-2
Chessing234:feat/tmeemt-dusart1999-c-table-4-2
43m 26s
feat(TMEEMT): fill RS_prime.theorem_b from Dusart corollary 5.2(a) Build Project #2721: Pull request #1765 opened by Chessing234
43m 49s Chessing234:feat/tmeemt-rs-theorem-b-from-dusart
Chessing234:feat/tmeemt-rs-theorem-b-from-dusart
43m 49s
feat(TMEEMT): fill Buthe.theorem_a/b from the Buthe.lean statements Build Project #2720: Pull request #1764 opened by Chessing234
47m 46s Chessing234:feat/tmeemt-buthe-ab-from-buthe
Chessing234:feat/tmeemt-buthe-ab-from-buthe
47m 46s