deploy site

deploy site #3757

Sign in to view logs

Triggered via schedule January 29, 2026 04:28

lean4

Status Failure

Total duration 1m 36s

Artifacts –

build.yml

on: schedule

Annotations

1 error

Process completed with exit code 1.