info: omega_provenance: no previous manifest, creating one from scratch
info: toolchain not updated; already up-to-date
info: plausible: cloning https://github.com/leanprover-community/plausible
info: plausible: checking out revision '77e08eddc486491d7b9e470926b3dbe50319451a'
info: LeanSearchClient: cloning https://github.com/leanprover-community/LeanSearchClient
info: LeanSearchClient: checking out revision '25078369972d295301f5a1e53c3e5850cf6d9d4c'
info: importGraph: cloning https://github.com/leanprover-community/import-graph
info: importGraph: checking out revision 'e6a9f0f5ee3ccf7443a0070f92b62f8db12ae82b'
info: proofwidgets: cloning https://github.com/leanprover-community/ProofWidgets4
info: proofwidgets: checking out revision 'c4919189477c3221e6a204008998b0d724f49904'
info: aesop: cloning https://github.com/leanprover-community/aesop
info: aesop: checking out revision '5d50b08dedd7d69b3d9b3176e0d58a23af228884'
info: Qq: cloning https://github.com/leanprover-community/quote4
info: Qq: checking out revision 'fa4f7f15d97591a9cf3aa7724ba371c7fc6dda02'
info: batteries: cloning https://github.com/leanprover-community/batteries
info: batteries: checking out revision 'f5d04a9c4973d401c8c92500711518f7c656f034'
info: Cli: cloning https://github.com/leanprover/lean4-cli
info: Cli: checking out revision '02dbd02bc00ec4916e99b04b2245b30200e200d0'
info: mathlib: running post-update hooks
✖ [2/2] Running proofwidgets:release
error: failed to fetch GitHub release (run with '-v' for details)
Some required builds logged failures:
- proofwidgets:release
error: build failed
uncaught exception: Failed to fetch ProofWidgets cloud release: lake failed with error code 1
error: mathlib: failed to fetch cache