Skip to content

Actions: teorth/expdb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
465 workflow runs
465 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
Bump leanprover/lean-action from 1.6.0 to 1.7.0 Check whitespace #124: Pull request #255 opened by dependabot Bot
9s dependabot/github_actions/leanprover/lean-action-1.7.0
dependabot/github_actions/leanprover/lean-action-1.7.0
9s
Bump leanprover/lean-action from 1.6.0 to 1.7.0 Compile blueprint #821: Pull request #255 opened by dependabot Bot
7m 57s dependabot/github_actions/leanprover/lean-action-1.7.0
dependabot/github_actions/leanprover/lean-action-1.7.0
7m 57s
Bump actions/setup-python from 7.0.0 to 7.1.0 Python tests #53: Pull request #254 opened by dependabot Bot
2m 14s dependabot/github_actions/actions/setup-python-7.1.0
dependabot/github_actions/actions/setup-python-7.1.0
2m 14s
Bump actions/setup-python from 7.0.0 to 7.1.0 Check whitespace #123: Pull request #254 opened by dependabot Bot
7s dependabot/github_actions/actions/setup-python-7.1.0
dependabot/github_actions/actions/setup-python-7.1.0
7s
github_actions in /. - Update #1671275300 Dependabot Updates #32: by dependabot Bot
49s main
main
49s
Lean formalisations of major chunks of chapters 4 and 5 Compile blueprint #820: Pull request #251 synchronize by pink-iguana
5m 38s pink-iguana:exponent-pairs-plus
pink-iguana:exponent-pairs-plus
5m 38s
Lean formalisations of major chunks of chapters 4 and 5 Check whitespace #122: Pull request #251 synchronize by pink-iguana
7s pink-iguana:exponent-pairs-plus
pink-iguana:exponent-pairs-plus
7s
Lean formalisations of major chunks of chapters 4 and 5 Check whitespace #121: Pull request #251 synchronize by pink-iguana
8s pink-iguana:exponent-pairs-plus
pink-iguana:exponent-pairs-plus
8s
Lean formalisations of major chunks of chapters 4 and 5 Compile blueprint #819: Pull request #251 synchronize by pink-iguana
6m 47s pink-iguana:exponent-pairs-plus
pink-iguana:exponent-pairs-plus
6m 47s
Lean formalisations of major chunks of chapters 4 and 5 Compile blueprint #818: Pull request #251 opened by pink-iguana
8m 53s pink-iguana:exponent-pairs-plus
pink-iguana:exponent-pairs-plus
8m 53s
Lean formalisations of major chunks of chapters 4 and 5 Check whitespace #120: Pull request #251 opened by pink-iguana
9s pink-iguana:exponent-pairs-plus
pink-iguana:exponent-pairs-plus
9s
RationalFunction.__eq__: return NotImplemented for non-RationalFunction Compile blueprint #817: Pull request #250 opened by chessing234
6m 31s chessing234:codex/clean-pr-244
chessing234:codex/clean-pr-244
6m 31s
RationalFunction.__eq__: return NotImplemented for non-RationalFunction Check whitespace #119: Pull request #250 opened by chessing234
7s chessing234:codex/clean-pr-244
chessing234:codex/clean-pr-244
7s
RationalFunction.__eq__: return NotImplemented for non-RationalFunction Python tests #52: Pull request #250 opened by chessing234
2m 15s chessing234:codex/clean-pr-244
chessing234:codex/clean-pr-244
2m 15s
Preserve nonempty points and segments when simplifying region unions Python tests #51: Pull request #249 opened by chessing234
2m 18s chessing234:codex/expdb-thin-unions
chessing234:codex/expdb-thin-unions
2m 18s
Preserve nonempty points and segments when simplifying region unions Compile blueprint #816: Pull request #249 opened by chessing234
5m 51s chessing234:codex/expdb-thin-unions
chessing234:codex/expdb-thin-unions
5m 51s
Preserve nonempty points and segments when simplifying region unions Check whitespace #118: Pull request #249 opened by chessing234
10s chessing234:codex/expdb-thin-unions
chessing234:codex/expdb-thin-unions
10s
Classify RationalFunction2 degrees in descending coefficient order Python tests #50: Pull request #248 opened by chessing234
1m 25s chessing234:codex/expdb-function-degrees
chessing234:codex/expdb-function-degrees
1m 25s
Classify RationalFunction2 degrees in descending coefficient order Compile blueprint #815: Pull request #248 opened by chessing234
7m 41s chessing234:codex/expdb-function-degrees
chessing234:codex/expdb-function-degrees
7m 41s
Classify RationalFunction2 degrees in descending coefficient order Check whitespace #117: Pull request #248 opened by chessing234
10s chessing234:codex/expdb-function-degrees
chessing234:codex/expdb-function-degrees
10s
Accept polynomial coefficient lists in RationalFunction2 Check whitespace #116: Pull request #247 opened by chessing234
10s chessing234:codex/expdb-polynomial-inputs
chessing234:codex/expdb-polynomial-inputs
10s
Accept polynomial coefficient lists in RationalFunction2 Python tests #49: Pull request #247 opened by chessing234
2m 5s chessing234:codex/expdb-polynomial-inputs
chessing234:codex/expdb-polynomial-inputs
2m 5s
Accept polynomial coefficient lists in RationalFunction2 Compile blueprint #814: Pull request #247 opened by chessing234
6m 9s chessing234:codex/expdb-polynomial-inputs
chessing234:codex/expdb-polynomial-inputs
6m 9s
github_actions in /. - Update #1603813355 Dependabot Updates #31: by dependabot Bot
46s main
main
46s
Add Hu (2026) Gauss circle bound 573/914 Compile blueprint #813: Pull request #246 opened by hxypqr
30d 0h 13m 7s hxypqr:hu-gauss-circle-bound
hxypqr:hu-gauss-circle-bound
30d 0h 13m 7s