Skip to content
Deploy odoc to GitHub Pages

refactor: remove [pos] from info (#429) #216

Sign in to view logs

refactor: remove [pos] from info (#429)

refactor: remove [pos] from info (#429) #216

Triggered via push September 10, 2024 10:14
@rgrinbergrgrinberg
pushed dd8a8ea
master
Status Failure
Total duration 2m 20s
Artifacts –

gh-pages.yml

on: push
Deploy odoc to GitHub Pages
2m 10s
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.