Skip to content

docs
docs

[ci] Port package to new bob.devtools-based build system (c.f. bob/docs#7)

1 job for bob-devtools in 12 minutes and 5 seconds (queued for 4 seconds)
49789d13 49789d13c262588ad18c8f78f484973d5c25a101
1 related merge request: !10 Port package to new bob.devtools-based build system (c.f. bob/docs#7)
Status Job ID Name Coverage
  Build
passed #165627
docker
build_linux_36

00:12:05