feat: introduce findMatchingDecl? for code quality checks in Lean.Linter
#62666
wkrozowskici.yml
on: pull_request
configure
10s
Matrix: build / build
Matrix: build-secondary / build
Waiting for pending jobs
release-nightly
0s
Annotations
4 warnings
|
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
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
build-Linux release
|
721 MB |
sha256:1009109cba79f2abce5bfbc7bf1f41f589491647153c270f5839ad66e9d02bd3
|
|