Skip to content

Actions: Vilin97/lean-pool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Proof Profile Comment Proof Profile Comment #682: completed by Vilin97
7s
7s
Import Wallace problem formalization LLM Review #2894: Issue comment #397 (comment) created by Vilin97
2s
2s
Import Wallace problem formalization Proof Profile #1329: Issue comment #397 (comment) created by Vilin97
1s
1s
LLM Review LLM Review #2893: completed by Vilin97
35s
35s
Import Wallace problem formalization PR Separation Guard #1628: Pull request #397 synchronize by Vilin97
9s codex/import-wallace-problem-2026-09-04
codex/import-wallace-problem-2026-09-04
9s
Import Wallace problem formalization Lean Action CI #1913: Pull request #397 synchronize by Vilin97
16m 21s codex/import-wallace-problem-2026-09-04
codex/import-wallace-problem-2026-09-04
16m 21s
Import Wallace problem formalization Documentation #1633: Pull request #397 synchronize by Vilin97
2h 17m 33s codex/import-wallace-problem-2026-09-04
codex/import-wallace-problem-2026-09-04
2h 17m 33s
Import Wallace problem formalization Partial Port Audit #1173: Pull request #397 synchronize by Vilin97
20s codex/import-wallace-problem-2026-09-04
codex/import-wallace-problem-2026-09-04
20s
Import Wallace problem formalization Project Advisory Comment #971: Pull request #397 synchronize by Vilin97
20s
20s
Proof Profile Comment Proof Profile Comment #681: completed by Vilin97
8s
8s
Proof Profile Comment Proof Profile Comment #680: completed by Vilin97
3s
3s
Proof Profile Comment Proof Profile Comment #679: completed by Vilin97
10s
10s
Import Wallace problem formalization Proof Profile #1328: Issue comment #397 (comment) created by Vilin97
1s
1s
Import Wallace problem formalization LLM Review #2892: Issue comment #397 (comment) created by Vilin97
2s
2s
Proof Profile Comment Proof Profile Comment #678: completed by Vilin97
4s
4s
Proof Profile Comment Proof Profile Comment #677: completed by Vilin97
1s
1s
Import optimized Infinitary Logic formalization LLM Review #2891: Issue comment #399 (comment) created by Vilin97
1s
1s
Import optimized Infinitary Logic formalization Proof Profile #1327: Issue comment #399 (comment) created by Vilin97
2s
2s
Proof Profile Comment Proof Profile Comment #676: completed by Vilin97
4s
4s
Import GapCVP hardness formalization LLM Review #2890: Issue comment #396 (comment) created by Vilin97
1s
1s
Import the Hopf problem formalization Proof Profile #1326: Issue comment #392 (comment) created by Vilin97
7s
7s
Import GapCVP hardness formalization Proof Profile #1325: Issue comment #396 (comment) created by Vilin97
1s
1s
Import quantum parallel repetition proof LLM Review #2889: Issue comment #395 (comment) created by Vilin97
1s
1s
Import quantum parallel repetition proof Proof Profile #1324: Issue comment #395 (comment) created by Vilin97
1s
1s
Import the Hopf problem formalization LLM Review #2888: Issue comment #392 (comment) created by Vilin97
1s
1s