8000 Workflow runs · google-deepmind/formal-conjectures · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: google-deepmind/formal-conjectures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
855 workflow runs
855 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formalize Erdos 17 Check Copyright Header #418: Pull request #212 synchronize by priyankaranke
June 12, 2025 20:06 Action required priyankaranke:pa/erdos_17
priyankaranke:pa/erdos_17
June 12, 2025 20:06 Action required
Formalize Erdos 17 Build Lean project and deploy docs #684: Pull request #212 synchronize by priyankaranke
June 12, 2025 20:06 Action required priyankaranke:pa/erdos_17
priyankaranke:pa/erdos_17
June 12, 2025 20:06 Action required
Add Hypothesis H Build Lean project and deploy docs #683: Pull request #163 synchronize by Reklle
June 12, 2025 18:34 Action required Reklle:HypothesisH
Reklle:HypothesisH
June 12, 2025 18:34 Action required
Add Hypothesis H Check Copyright Header #417: Pull request #163 synchronize by Reklle
June 12, 2025 18:34 Action required Reklle:HypothesisH
Reklle:HypothesisH
June 12, 2025 18:34 Action required
Add Hypothesis H Build Lean project and deploy docs #682: Pull request #163 synchronize by Reklle
June 12, 2025 18:20 Action required Reklle:HypothesisH
Reklle:HypothesisH
June 12, 2025 18:20 Action required
Add Hypothesis H Check Copyright Header #416: Pull request #163 synchronize by Reklle
June 12, 2025 18:20 Action required Reklle:HypothesisH
Reklle:HypothesisH
June 12, 2025 18:20 Action required
Erdős 36: The minimal overlap problem Build Lean project and deploy docs #681: Pull request #215 synchronize by mo271
June 12, 2025 14:11 13m 19s mo271:minimal_overlap
mo271:minimal_overlap
June 12, 2025 14:11 13m 19s
Erdős 36: The minimal overlap problem Check Copyright Header #415: Pull request #215 synchronize by mo271
June 12, 2025 14:11 12s mo271:minimal_overlap
mo271:minimal_overlap
June 12, 2025 14:11 12s
Add link to unassigned new problems in README (#216) Build Lean project and deploy docs #680: Commit 4aba75a pushed by mo271
June 12, 2025 12:40 13m 25s main
main
June 12, 2025 12:40 13m 25s
Add link to unassigned new problems in README Check Copyright Header #414: Pull request #216 synchronize by mo271
June 12, 2025 12:23 9s mo271-patch-1
mo271-patch-1
June 12, 2025 12:23 9s
Add link to unassigned new problems in README Build Lean project and deploy docs #679: Pull request #216 synchronize by mo271
June 12, 2025 12:23 13m 52s mo271-patch-1
mo271-patch-1
June 12, 2025 12:23 13m 52s
Add link to unassigned new problems in README Build Lean project and deploy docs #678: Pull request #216 synchronize by mo271
June 12, 2025 11:51 13m 17s mo271-patch-1
mo271-patch-1
June 12, 2025 11:51 13m 17s
Add link to unassigned new problems in README Check Copyright Header #413: Pull request #216 synchronize by mo271
June 12, 2025 11:51 10s mo271-patch-1
mo271-patch-1
June 12, 2025 11:51 10s
Add link to unassigned new problems in README Build Lean project and deploy docs #677: Pull request #216 opened by mo271
June 12, 2025 11:44 13m 6s mo271-patch-1
mo271-patch-1
June 12, 2025 11:44 13m 6s
Add link to unassigned new problems in README Check Copyright Header #412: Pull request #216 opened by mo271
June 12, 2025 11:44 7s mo271-patch-1
mo271-patch-1
June 12, 2025 11:44 7s
Erdős 36: The minimal overlap problem Check Copyright Header #411: Pull request #215 synchronize by mo271
June 12, 2025 11:29 10s mo271:minimal_overlap
mo271:minimal_overlap
June 12, 2025 11:29 10s
Erdős 36: The minimal overlap problem Build Lean project and deploy docs #676: Pull request #215 synchronize by mo271
June 12, 2025 11:29 13m 21s mo271:minimal_overlap
mo271:minimal_overlap
June 12, 2025 11:29 13m 21s
Erdős 36: The minimal overlap problem Check Copyright Header #410: Pull request #215 synchronize by mo271
June 12, 2025 11:28 11s mo271:minimal_overlap
mo271:minimal_overlap
June 12, 2025 11:28 11s
Erdős 36: The minimal overlap problem Build Lean project and deploy docs #675: Pull request #215 synchronize by mo271
June 12, 2025 11:28 13m 55s mo271:minimal_overlap
mo271:minimal_overlap
June 12, 2025 11:28 13m 55s
Erdős 36: The minimal overlap problem Check Copyright Header #409: Pull request #215 opened by mo271
June 12, 2025 11:26 10s mo271:minimal_overlap
mo271:minimal_overlap
June 12, 2025 11:26 10s
Erdős 36: The minimal overlap problem Build Lean project and deploy docs #674: Pull request #215 opened by mo271
June 12, 2025 11:26 13m 24s mo271:minimal_overlap
mo271:minimal_overlap
June 12, 2025 11:26 13m 24s
feat: Implement linter to check the copyright header of files (#214) Build Lean project and deploy docs #673: Commit 87a48c3 pushed by Paul-Lez
June 12, 2025 09:12 15m 52s main
main
June 12, 2025 09:12 15m 52s
feat: Implement linter to check the copyright header of files Check Copyright Header #408: Pull request #214 synchronize by Paul-Lez
June 12, 2025 08:56 10s copyright-linter
copyright-linter
June 12, 2025 08:56 10s
feat: Implement linter to check the copyright header of files Build Lean project and deploy docs #672: Pull request #214 synchronize by Paul-Lez
June 12, 2025 08:56 15m 58s copyright-linter
copyright-linter
June 12, 2025 08:56 15m 58s
feat: Implement linter to check the copyright header of files Check Copyright Header #407: Pull request #214 opened by Paul-Lez
June 12, 2025 08:43 8s copyright-linter
copyright-linter
June 12, 2025 08:43 8s
0