vscode-lean4 build

vscode-lean4 build #3059

Sign in to view logs

Manually triggered March 7, 2026 00:37

mhuisi

master

Status Success

Total duration 1m 36s

Artifacts –

on-push.yml

on: workflow_dispatch

publish-packages

Matrix: build-and-test

Annotations

1 error

publish-packages

Process completed with exit code 1.

⚡