Skip to content
docs

Found another theorem that is already proven #79

Sign in to view logs

Found another theorem that is already proven

Found another theorem that is already proven #79

Triggered via push November 13, 2023 20:29
@tobiasgrossertobiasgrosser
pushed e33817c
main
Status Failure
Total duration 1m 14s
Artifacts –

doc.yml

on: push
build and deploy documentation.
1m 4s
build and deploy documentation.
Fit to window
Zoom out
Zoom in

Annotations

1 error
build and deploy documentation.
Process completed with exit code 1.