Skip to content
Deploy Documentation

docs: polish reductions.typ with theorem labels and cleanup (#31) #37

Sign in to view logs

docs: polish reductions.typ with theorem labels and cleanup (#31)

docs: polish reductions.typ with theorem labels and cleanup (#31) #37

Triggered via push February 10, 2026 04:04
@GiggleLiuGiggleLiu
pushed dc2ccf1
main
Status Failure
Total duration 14s
Artifacts –

docs.yml

on: push
build
12s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.