Skip to content
Build book

Formalizing Spectral Properties of Torsion Operators and Zeta Identities #1031

Sign in to view logs

Formalizing Spectral Properties of Torsion Operators and Zeta Identities

Formalizing Spectral Properties of Torsion Operators and Zeta Identities #1031

Triggered via pull request March 2, 2026 16:54
@mekhledakkad-hashmekhledakkad-hash
opened #463
mekhledakkad-hash:main
Status Failure
Total duration 1m 46s
Artifacts –

build_book.yml

on: pull_request
build
1m 42s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.