Skip to content

Actions: LeanPool/lean-pool

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
2,500+ workflow runs
2,500+ workflow runs

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
Documentation Documentation #6766: Merge group checks requested
7m 2s
7m 2s
Documentation Documentation #6765: Merge group checks requested
7m 48s
7m 48s
Optimize Chudnovsky proof elaboration and build dependencies Documentation #6764: Pull request #739 synchronize by Vilin97
30s researcher/daily-optimize-20261103T1115
researcher/daily-optimize-20261103T1115
30s
Documentation Documentation #6763: Merge group checks requested
22s
22s
Import explicit planar distinct-distance improvement to 43n/120 Documentation #6762: Pull request #746 synchronize by Vilin97
25s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
25s
Optimize GapCVP build dependencies and row-count elaboration Documentation #6761: Pull request #747 synchronize by Vilin97
41s codex/daily-optimize-20261104T0800
codex/daily-optimize-20261104T0800
41s
Documentation Documentation #6760: Merge group checks requested
24s
24s
Documentation Documentation #6759: Merge group checks requested
20s
20s
Documentation Documentation #6758: Merge group checks requested
28s
28s
Optimize GapCVP build dependencies and row-count elaboration Documentation #6757: Pull request #747 opened by Vilin97
32s codex/daily-optimize-20261104T0800
codex/daily-optimize-20261104T0800
32s
Eichler-Shimura material from FLT Documentation #6756: Pull request #696 synchronize by loefflerd
30s loefflerd:main
loefflerd:main
30s
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 Documentation #6754: 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 #6753: Pull request #746 opened by Vilin97
31s codex/import-distinct-distances-20261104
codex/import-distinct-distances-20261104
31s
Documentation Documentation #6752: Merge group checks requested
30s
30s
Documentation Documentation #6751: Merge group checks requested
27s
27s
Documentation Documentation #6750: Merge group checks requested
28s
28s
Import Lie–Trotter product formula with commutator scaling Documentation #6749: Pull request #738 synchronize by Vilin97
3m 21s codex/lie-trotter-commutator-20261103
codex/lie-trotter-commutator-20261103
3m 21s
Import Michal–Bastiani calculus on locally convex spaces Documentation #6748: Pull request #745 reopened by Vilin97
26s codex/import-lc-analysis-20261104
codex/import-lc-analysis-20261104
26s
Documentation Documentation #6747: Merge group checks requested
23s
23s
Documentation Documentation #6746: Merge group checks requested
25s
25s
Documentation Documentation #6745: Merge group checks requested
27s
27s
Documentation Documentation #6744: Merge group checks requested
25s
25s
Documentation Documentation #6743: Merge group checks requested
21s
21s
Documentation Documentation #6742: Merge group checks requested
27s
27s