Various LSP improvements #1075
AlasdairAnnotations
7 warnings
|
build (5.2.1, ubuntu-24.04, other)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v3, actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (5.2.1, ubuntu-24.04, typecheck)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v3, actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (5.2.1, ubuntu-24.04, prover)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v3, actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (5.2.1, ubuntu-24.04, lean)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v3, actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (5.2.1, ubuntu-24.04, exec)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v3, actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (5.2.1, ubuntu-24.04, sv)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v3, actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
rocq
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
event.json
|
3.14 KB |
sha256:58df3eefabf35f60c8f554fe7213407453702dba64a35c247285dc72d691b21a
|
|
|
test-results-exec
|
279 KB |
sha256:6ce670f6399588f3672ae7fcec2c20832e8031f9b136aa6f400148298fa9f7eb
|
|
|
test-results-lean
|
262 KB |
sha256:bc1ebb5bf2d5535ab9217521be660d9468a29c3e672dcc71b14f52d261842412
|
|
|
test-results-other
|
267 KB |
sha256:ea2d00f61e59b51f108b2e285aaf86b0a3f87ad22da62ba8ecd174f4bd4893ba
|
|
|
test-results-prover
|
277 KB |
sha256:b28fdaf9852ad95d31d38f19d73fa3726f4587995f531c0faf3b37c549946044
|
|
|
test-results-rocq
|
270 KB |
sha256:c81a508945cf1cd5238ca95ec745edadd96e58065540c080212c9028c6a6241c
|
|
|
test-results-sv
|
268 KB |
sha256:59e24bbbd03e65dfb7d47c9efb9249a963decc6c73506a0adcc2242cc986e87d
|
|
|
test-results-typecheck
|
260 KB |
sha256:0fc464ccd46d61099ba801ab79839e97d0084127b23bb054f5c794d7b1d3eeb2
|
|