feat: introduce findMatchingDecl? for code quality checks in Lean.Linter
#62664
wkrozowskici.yml
on: pull_request
configure
9s
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:30b42a6c291241aef5e1b599c08cc4960885fd161ddae155a210418f261328b3
|
|