Bundle Push

feat: improve docs #3

Sign in to view logs

Triggered via push August 18, 2025 23:23

fraware

main

Status Failure

Total duration 7s

Artifacts –

bundle-push.yml

on: push

Annotations

1 error

Unable to resolve action leanprover-community/setup-lean, repository not found