Skip to content

Actions: LeanPool/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 #2913: completed by Vilin97
7s
7s
Auto-rebase open PRs Auto-rebase open PRs #2436: completed by Vilin97
10s
10s
Import explicit planar distinct-distance improvement to 43n/120 Project Advisory Comment #7840: Pull request #746 edited by Vilin97
49s
49s
Auto-rebase open PRs Auto-rebase open PRs #2435: completed by Vilin97
1s
1s
Auto-rebase open PRs Auto-rebase open PRs #2434: completed by Vilin97
1s
1s
Auto-rebase open PRs Auto-rebase open PRs #2433: completed by Vilin97
1s
1s
Import explicit planar distinct-distance improvement to 43n/120 Exposition Verify #616: Pull request #746 synchronize by Vilin97
22s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
22s
Import explicit planar distinct-distance improvement to 43n/120 Lean Action CI #7104: Pull request #746 synchronize by Vilin97
In progress codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
In progress
Import explicit planar distinct-distance improvement to 43n/120 Python CI #1099: Pull request #746 synchronize by Vilin97
27s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
27s
Import explicit planar distinct-distance improvement to 43n/120 Partial Port Audit #5732: Pull request #746 synchronize by Vilin97
37s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
37s
Import explicit planar distinct-distance improvement to 43n/120 PR Separation Guard #6683: Pull request #746 synchronize by Vilin97
29s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
29s
Import explicit planar distinct-distance improvement to 43n/120 Workflow Lint #862: Pull request #746 synchronize by Vilin97
26s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
26s
Import explicit planar distinct-distance improvement to 43n/120 Documentation #6755: Pull request #746 synchronize by Vilin97
29s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
29s
Import explicit planar distinct-distance improvement to 43n/120 Proof Profile #3563: Pull request #746 synchronize by Vilin97
20m 46s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
20m 46s
Import explicit planar distinct-distance improvement to 43n/120 Project Advisory Comment #7839: Pull request #746 synchronize by Vilin97
49s
49s
Proof Profile Comment Proof Profile Comment #2912: completed by Vilin97
6s
6s
perf(Zeta5Irrational): reuse interval-count comparisons (#744) Lean Action CI #7103: Commit 679b0ca pushed by github-merge-queue Bot
Pending main
main
Pending
perf(Zeta5Irrational): reuse interval-count comparisons (#744) Auto-rebase open PRs #2432: Commit 679b0ca pushed by github-merge-queue Bot
7s main
main
7s
Auto-rebase open PRs Auto-rebase open PRs #2431: completed by Vilin97
2s
2s
Auto-rebase open PRs Auto-rebase open PRs #2430: completed by github-merge-queue Bot
1s
1s
Import explicit planar distinct-distance improvement to 43n/120 Project Advisory Comment #7838: Pull request #746 edited by Vilin97
54s
54s
Proof Profile Comment Proof Profile Comment #2911: completed by greptile-apps Bot
7s
7s
Import explicit planar distinct-distance improvement to 43n/120 Proof Profile #3562: Issue comment #746 (comment) created by greptile-apps Bot
1s
1s
Import explicit planar distinct-distance improvement to 43n/120 Project Advisory Comment #7837: Pull request #746 edited by Vilin97
45s
45s
Proof Profile Comment Proof Profile Comment #2910: completed by Vilin97
8s
8s