Skip to content
Deploy odoc to GitHub Pages

refactor: remove some accidentally committed junk (#453) #225

Sign in to view logs

refactor: remove some accidentally committed junk (#453)

refactor: remove some accidentally committed junk (#453) #225

Triggered via push September 12, 2024 22:55
@rgrinbergrgrinberg
pushed 1e8fff2
master
Status Failure
Total duration 2m 24s
Artifacts –

gh-pages.yml

on: push
Deploy odoc to GitHub Pages
2m 14s
Deploy odoc to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

1 error
Deploy odoc to GitHub Pages
Process completed with exit code 20.