chore(QueryComplexity): register DecisionTree in Cslib.lean

7fd39ab

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 2

check-pr-title

Check PR title for commit convention on: pull_request 2

check-pr-title

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 18, 2026 in 4m 31s

Loading

chore(QueryComplexity): register DecisionTree in Cslib.lean

Uh oh!

Annotations

Re-running jobs...