vscode-lean4 build

hack: debug wip #5

Sign in to view logs

Triggered via push July 6, 2025 06:41

alissa-tung

master

Status Failure

Total duration 2m 12s

Artifacts –

on-push.yml

on: push

Matrix: build-and-test

Annotations

2 errors

Process completed with exit code 1.

Process completed with exit code 1.