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 #1508: completed by Vilin97
7s
7s
Import inflation termination for classical pair-source networks Proof Profile #2158: Issue comment #494 (comment) created by Vilin97
1s
1s
WIP: Remove blanket section exposure across Lean Pool Project Advisory Comment #3045: Pull request #529 edited by Vilin97
1h 32m 34s
1h 32m 34s
WIP: Remove blanket section exposure across Lean Pool Partial Port Audit #2648: Pull request #529 synchronize by Vilin97
16m 55s feature/reduce-blanket-exposure
feature/reduce-blanket-exposure
16m 55s
WIP: Remove blanket section exposure across Lean Pool Lean Action CI #3503: Pull request #529 synchronize by Vilin97
2h 4m 0s feature/reduce-blanket-exposure
feature/reduce-blanket-exposure
2h 4m 0s
WIP: Remove blanket section exposure across Lean Pool Documentation #3213: Pull request #529 synchronize by Vilin97
2h 14m 8s feature/reduce-blanket-exposure
feature/reduce-blanket-exposure
2h 14m 8s
WIP: Remove blanket section exposure across Lean Pool PR Separation Guard #3213: Pull request #529 synchronize by Vilin97
28m 15s feature/reduce-blanket-exposure
feature/reduce-blanket-exposure
28m 15s
WIP: Remove blanket section exposure across Lean Pool Project Advisory Comment #3044: Pull request #529 synchronize by Vilin97
10s
10s
Import Conway refinement for omnific integers Project Advisory Comment #3043: Pull request #509 edited by Vilin97
1h 38m 16s
1h 38m 16s
WIP: Import Coarse-graining theory for elliptic equations Project Advisory Comment #3042: Pull request #507 edited by Vilin97
1h 38m 42s
1h 38m 42s
WIP: Import Coarse-graining theory for elliptic equations Partial Port Audit #2647: Pull request #507 synchronize by Vilin97
48m 47s codex/import42-coarsegraining
codex/import42-coarsegraining
48m 47s
WIP: Import Coarse-graining theory for elliptic equations PR Separation Guard #3212: Pull request #507 synchronize by Vilin97
25m 23s codex/import42-coarsegraining
codex/import42-coarsegraining
25m 23s
WIP: Import Coarse-graining theory for elliptic equations Documentation #3212: Pull request #507 synchronize by Vilin97
1h 50m 36s codex/import42-coarsegraining
codex/import42-coarsegraining
1h 50m 36s
WIP: Import Coarse-graining theory for elliptic equations Lean Action CI #3502: Pull request #507 synchronize by Vilin97
1h 34m 39s codex/import42-coarsegraining
codex/import42-coarsegraining
1h 34m 39s
WIP: Import Coarse-graining theory for elliptic equations Project Advisory Comment #3041: Pull request #507 synchronize by Vilin97
1m 15s
1m 15s
Import several complex variables, analytic germs, and extension theory Lean Action CI #3501: Pull request #490 synchronize by Vilin97
1h 26m 24s codex/import42-lean-scv
codex/import42-lean-scv
1h 26m 24s
Import several complex variables, analytic germs, and extension theory PR Separation Guard #3211: Pull request #490 synchronize by Vilin97
24m 41s codex/import42-lean-scv
codex/import42-lean-scv
24m 41s
Import several complex variables, analytic germs, and extension theory Documentation #3211: Pull request #490 synchronize by Vilin97
1h 23m 20s codex/import42-lean-scv
codex/import42-lean-scv
1h 23m 20s
Import several complex variables, analytic germs, and extension theory Partial Port Audit #2646: Pull request #490 synchronize by Vilin97
28m 1s codex/import42-lean-scv
codex/import42-lean-scv
28m 1s
Import several complex variables, analytic germs, and extension theory Project Advisory Comment #3040: Pull request #490 synchronize by Vilin97
1h 42m 31s
1h 42m 31s
WIP: Import Coarse-graining theory for elliptic equations Partial Port Audit #2645: Pull request #507 synchronize by Vilin97
40m 49s codex/import42-coarsegraining
codex/import42-coarsegraining
40m 49s
WIP: Import Coarse-graining theory for elliptic equations PR Separation Guard #3210: Pull request #507 synchronize by Vilin97
4m 56s codex/import42-coarsegraining
codex/import42-coarsegraining
4m 56s
WIP: Import Coarse-graining theory for elliptic equations Lean Action CI #3500: Pull request #507 synchronize by Vilin97
4m 55s codex/import42-coarsegraining
codex/import42-coarsegraining
4m 55s
WIP: Import Coarse-graining theory for elliptic equations Documentation #3210: Pull request #507 synchronize by Vilin97
4m 57s codex/import42-coarsegraining
codex/import42-coarsegraining
4m 57s
WIP: Import Coarse-graining theory for elliptic equations Project Advisory Comment #3039: Pull request #507 synchronize by Vilin97
4m 56s
4m 56s