Skip to content

Release 0.0.114 (pre-release) #1917

Release 0.0.114 (pre-release)

Release 0.0.114 (pre-release) #1917

Triggered via push October 18, 2023 11:51
Status Failure
Total duration 4m 12s
Artifacts 1

on-push.yml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
Linux
Process completed with exit code 1.
Windows
The process 'C:\hostedtoolcache\windows\node\16.20.2\x64\npm.cmd' failed with exit code 1
Linux
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Windows
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-node@v2, GabrielBB/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Windows: lean4-infoview/src/infoview/messages.tsx#L178
React Hook React.useEffect has a missing dependency: 'setNumDiags'. Either include it or remove the dependency array. If 'setNumDiags' changes too often, find the parent component that defines it and wrap that definition in useCallback
Windows: lean4-infoview/src/infoview/messages.tsx#L179
React Hook React.useEffect has a missing dependency: 'setNumDiags'. Either include it or remove the dependency array. If 'setNumDiags' changes too often, find the parent component that defines it and wrap that definition in useCallback

Artifacts

Produced during runtime
Name Size
vscode-lean4 Expired
906 KB