chore(Polynomial): generalize to Semiring, rename to gcongr eval_mono

7f72de5

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Lean Action CI on: pull_request 2

ci-checks

Check PR title for commit convention on: pull_request 1

check-pr-title

Annotations

1 warning and 1 notice

Complete job

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683, actions/checkout@v4, actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

ci-checks

succeeded Sep 23, 2026 in 4m 42s

Loading

chore(Polynomial): generalize to Semiring, rename to gcongr eval_mono

Uh oh!

Annotations

Re-running jobs...