Skip to content
Docs

Add option to change refresh-interval #260

Sign in to view logs

Add option to change refresh-interval

Add option to change refresh-interval #260

Triggered via push July 4, 2024 14:46
@harmenwassenaarharmenwassenaar
pushed 48e856a
add-option-on-dashboard-to-change-refresh-interval
Status Cancelled
Total duration 1m 45s
Artifacts –

github-pages.yml

on: push
Build and publish documentation to Github
1m 36s
Build and publish documentation to Github
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build and publish documentation to Github
The run was canceled by @harmenwassenaar.
Build and publish documentation to Github
The operation was canceled.