Skip to content
Deploy odoc to GitHub Pages

refactor: add some benchmark filtering (#351) #126

Sign in to view logs

refactor: add some benchmark filtering (#351)

refactor: add some benchmark filtering (#351) #126

Triggered via push August 28, 2024 13:25
@rgrinbergrgrinberg
pushed 040a8f0
master
Status Failure
Total duration 2m 49s
Artifacts –

gh-pages.yml

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