Skip to content

Actions: AxiomMath/PrimeGapsLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Make the 246 bounded-prime-gap theorem unconditional Lean #26: Pull request #11 opened by kimihiro64
Action required kimihiro64:integrate-bombieri-vinogradov
kimihiro64:integrate-bombieri-vinogradov
Action required
build: bump toolchain to v4.33.0 past kernel soundness fix (#14576) Lean #25: Pull request #10 opened by morluto
Action required morluto:fix/toolchain-v4.33.0-kernel-soundness
morluto:fix/toolchain-v4.33.0-kernel-soundness
Action required
docs(formalization.yaml): cite Maynard Theorem 1.3 for the 600 bound Lean #24: Pull request #8 opened by morluto
Action required morluto:docs/maynard-600-theorem-1-3
morluto:docs/maynard-600-theorem-1-3
Action required
feat(formalization.yaml): more details (#6) Lean #23: Commit 1faa7b1 pushed by thefundamentaltheor3m
2m 14s main
main
2m 14s
feat(formalization.yaml): more details Lean #22: Pull request #6 opened by thefundamentaltheor3m
2m 34s refine-yaml
refine-yaml
2m 34s
feat(formalization.yaml): more details Lean #21: Commit b58c27d pushed by thefundamentaltheor3m
2m 13s refine-yaml
refine-yaml
2m 13s
feat(formalization.yaml): add project.description (#5) Lean #20: Commit 7af9f59 pushed by thefundamentaltheor3m
2m 9s main
main
2m 9s
feat(formalization.yaml): add project.description Lean #19: Pull request #5 opened by thefundamentaltheor3m
2m 52s project-description-yaml
project-description-yaml
2m 52s
add project.description Lean #18: Commit d4fe72c pushed by thefundamentaltheor3m
2m 58s project-description-yaml
project-description-yaml
2m 58s
formalization.yaml: fix minor formatting errors (#4) Lean #17: Commit ffe6b8c pushed by thefundamentaltheor3m
18m 4s main
main
18m 4s
formalization.yaml: fix minor formatting errors Lean #16: Pull request #4 synchronize by thefundamentaltheor3m
2m 17s formalization-yaml-edit
formalization-yaml-edit
2m 17s
flesh out scope a bit Lean #15: Commit 09a6fd8 pushed by thefundamentaltheor3m
2m 8s formalization-yaml-edit
formalization-yaml-edit
2m 8s
formalization.yaml: fix minor formatting errors Lean #14: Pull request #4 synchronize by thefundamentaltheor3m
2m 6s formalization-yaml-edit
formalization-yaml-edit
2m 6s
add msc classifications based on sources Lean #13: Commit e6a0b72 pushed by thefundamentaltheor3m
2m 45s formalization-yaml-edit
formalization-yaml-edit
2m 45s
formalization.yaml: fix minor formatting errors Lean #12: Pull request #4 opened by thefundamentaltheor3m
2m 11s formalization-yaml-edit
formalization-yaml-edit
2m 11s
formalization.yaml: formatting errors Lean #11: Commit e64aec8 pushed by thefundamentaltheor3m
2m 20s formalization-yaml-edit
formalization-yaml-edit
2m 20s
formalization.yaml: edit (#3) Lean #10: Commit 156ae32 pushed by thefundamentaltheor3m
2m 6s main
main
2m 6s
formalization.yaml: edit Lean #9: Pull request #3 opened by thefundamentaltheor3m
2m 10s formalization-yaml-sources-note
formalization-yaml-sources-note
2m 10s
change relationship to formalizes Lean #8: Commit fe1fe02 pushed by thefundamentaltheor3m
2m 4s formalization-yaml-sources-note
formalization-yaml-sources-note
2m 4s
feat: add formalization.yaml (#1) Lean #7: Commit 1744646 pushed by thefundamentaltheor3m
3m 33s main
main
3m 33s
feat: add formalization.yaml Lean #6: Pull request #1 synchronize by thefundamentaltheor3m
2m 13s add-formalization.yaml
add-formalization.yaml
2m 13s
Merge branch 'main' into add-formalization.yaml Lean #5: Commit a6db61e pushed by thefundamentaltheor3m
2m 35s add-formalization.yaml
add-formalization.yaml
2m 35s
ci: CI for PRs + concurrency (#2) Lean #4: Commit 9a0a16d pushed by thefundamentaltheor3m
2m 12s main
main
2m 12s
ci: CI for PRs + concurrency Lean #3: Pull request #2 opened by thefundamentaltheor3m
2m 18s ci-for-prs
ci-for-prs
2m 18s
ci: CI for PRs + concurrency Lean #2: Commit 4dd0f8d pushed by thefundamentaltheor3m
3m 2s ci-for-prs
ci-for-prs
3m 2s