Getting Started Documentation

Organisations art-w sherlodoc pull/42 Build History

Build History for pull/42

Builds (11)

try to fix pin depend

Dec 19 05:47 +00:00

Failed in 15m03s

try to fix pin depend

Jan 01 00:00 +00:00

try to fix pin depend

Jan 01 00:00 +00:00

update to latest odoc master

Jan 01 00:00 +00:00

add pin on odoc-parser

Sep 01 14:13 +00:00

Failed in 4m36s

compat with odoc 3 latest PR

Jan 01 00:00 +00:00

remove double bound on odoc version

Jul 09 13:29 +00:00

Failed in 5m54s

add pin depend for CI

Jul 09 12:24 +00:00

Failed in 5m53s

test the new feature, which resulted in a bugfix.

Jul 01 13:04 +00:00

Failed in 1h18m

simplify implementation

Jul 01 12:49 +00:00

Failed in 10m49s

Enable sherlodoc on .odoc-index file for odoc 3 compat

Jun 29 08:33 +00:00

Failed in 29m50s