Skip to content
Deploy My forest to Pages

Fix source link for proof, which should be the parent thm/lemma #108

Sign in to view logs

Fix source link for proof, which should be the parent thm/lemma

Fix source link for proof, which should be the parent thm/lemma #108

Triggered via push June 20, 2024 12:23
@utensilutensil
pushed 007ed7d
main
Status Failure
Total duration 4m 34s
Artifacts –

gh-pages.yml

on: push
build
4m 17s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 100.