Skip to content

Improve the enumeration APIs, fix overflow, improve perf #4719

Improve the enumeration APIs, fix overflow, improve perf

Improve the enumeration APIs, fix overflow, improve perf #4719

Triggered via pull request July 11, 2026 19:28
Status Failure
Total duration 32m 40s
Artifacts

regression-check.yml

on: pull_request
Comparison: master vs PR (ubuntu-latest ghc-9.14.1)
32m 35s
Comparison: master vs PR (ubuntu-latest ghc-9.14.1)
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Comparison: master vs PR (ubuntu-latest ghc-9.14.1)
Process completed with exit code 1.
Comparison: master vs PR (ubuntu-latest ghc-9.14.1)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/