Skip to content
Deploy odoc

test-runner: rename "probe" task which actually checks top-level defs #45

Sign in to view logs

test-runner: rename "probe" task which actually checks top-level defs

test-runner: rename "probe" task which actually checks top-level defs #45

Triggered via push September 9, 2023 16:19
@just-maxjust-max
pushed 2dfaf55
20230909
Status Success
Total duration 8m 3s
Artifacts –

odoc.yml

on: push
deploy-doc
7m 53s
deploy-doc
Fit to window
Zoom out
Zoom in