Skip to content

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

André Anjos requested to merge bob-devtools into master

This MR addresses the deprecation of the old build scripts, porting this package CI to work with a centralized version based on bob.devtools.

Merge request reports