perf: don't enqueue last object in the deletion list #62660
Triggered via pull request
September 3, 2026 10:24
TwoFX
Status
Cancelled
Total duration
1m 3s
Artifacts
–
ci.yml
on: pull_request
configure
10s
Matrix: build / build
Matrix: build-secondary / build
Waiting for pending jobs
release-nightly
Annotations
8 errors and 4 warnings
|
build / Linux release
Canceling since a higher priority waiting request for CI-refs/pull/15004/merge-pull_request exists
|
|
build / Linux release
Process completed with exit code 1.
|
|
build / Linux release
path "/home/runner/work/lean4/lean4" is not part of a flake (neither it nor its parent directories contain a 'flake.nix' file)
|
|
build / Linux release
Process completed with exit code 1.
|
|
build / Linux release
path "/home/runner/work/lean4/lean4" is not part of a flake (neither it nor its parent directories contain a 'flake.nix' file)
|
|
build / Linux release
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/15004/merge-pull_request exists
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/15004/merge-pull_request exists
|
|
configure
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: mikehardy/runner-fallback-action@dc7732f9e532c451b2527b288ba8d58fd4b0a4ca. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
configure
using runner: nscloud-ubuntu-24.04-amd64-8x16
|
|
configure
Original error: Error: Input required and not supplied: github-token
|
|
configure
Checking for available runners failed, but fallback-on-error is true
|