Skip to content
Build book

Formalizing Spectral Properties of Torsion Operators and Zeta Identities #1033

Sign in to view logs

Formalizing Spectral Properties of Torsion Operators and Zeta Identities

Formalizing Spectral Properties of Torsion Operators and Zeta Identities #1033

Triggered via pull request March 2, 2026 17:25
@mekhledakkad-hashmekhledakkad-hash
synchronize #463
mekhledakkad-hash:main
Status Failure
Total duration 2m 23s
Artifacts –

build_book.yml

on: pull_request
build
2m 16s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.