Skip to content

Actions: Reklle/formal-conjectures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Erdős Problem 283 (#1172) Notify erdosproblems of update #1: Commit 4b3335d pushed by Reklle
2s main
main
2s
Erdős Problem 283 (#1172) Build Lean project and deploy docs #12: Commit 4b3335d pushed by Reklle
1h 28m 13s main
main
1h 28m 13s
Add Euler brick (#176) Build Lean project and deploy docs #11: Commit 2f67ab0 pushed by Reklle
13m 47s main
main
13m 47s
Add Gilbreath's conjecture (#174) Build Lean project and deploy docs #10: Commit 2361024 pushed by Reklle
13m 35s main
main
13m 35s
Add link to unassigned new problems in README (#216) Build Lean project and deploy docs #9: Commit 4aba75a pushed by Reklle
15m 42s main
main
15m 42s
Add Lemoine's conjectures (#177) Build Lean project and deploy docs #8: Commit 9a0a80b pushed by Reklle
13m 40s main
main
13m 40s
Add Boxdot conjecture (#166) Build Lean project and deploy docs #7: Commit 9d70f49 pushed by Reklle
13m 58s main
main
13m 58s
feat: add upper density to ForMathlib and fix Erdos 244 (#179) Build Lean project and deploy docs #6: Commit db02902 pushed by Reklle
15m 49s main
main
15m 49s
Fix: Bateman-Horn Conjecture (#161) Build Lean project and deploy docs #5: Commit 22d87e7 pushed by Reklle
1h 6m 3s main
main
1h 6m 3s
Formalize Kaplansky's conjectures (#117) Build Lean project and deploy docs #4: Commit 4b5796d pushed by Reklle
1h 3m 44s main
main
1h 3m 44s
Merge branch 'google-deepmind:main' into main Build Lean project and deploy docs #3: Commit a0af96a pushed by Reklle
1h 4m 57s main
main
1h 4m 57s
Merge branch 'main' into main Build Lean project and deploy docs #2: Commit 962a0c6 pushed by Paul-Lez
1h 5m 44s main
main
1h 5m 44s
Fixes Build Lean project and deploy docs #1: Commit 7a5b741 pushed by Paul-Lez
1h 5m 15s main
main
1h 5m 15s