Skip to content
Deploy My forest to Pages

Add lean4, it seems to work nicely #367

Sign in to view logs

Add lean4, it seems to work nicely

Add lean4, it seems to work nicely #367

Triggered via push October 20, 2024 11:31
@utensilutensil
pushed 942c214
main
Status Cancelled
Total duration 7m 58s
Artifacts –

gh-pages.yml

on: push
build
7m 22s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'pages' exists
build
The operation was canceled.