Skip to content
vscode-lean4 build

chore: bump infoview and infoview-api versions #2627

Sign in to view logs

chore: bump infoview and infoview-api versions

chore: bump infoview and infoview-api versions #2627

Triggered via push January 12, 2025 16:32
@Vtec234Vtec234
pushed c8170d2
shift-unclick
Status Failure
Total duration 46s
Artifacts –

on-push.yml

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

Annotations

2 errors and 1 warning
Linux
Process completed with exit code 1.
Windows
Process completed with exit code 1.
Linux
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636