Skip to content

Only run "make check" by default

Guido Gunther requested to merge guido.gunther/librem5-devkit-tools:fix-build into master

We don't want the docs updated during the package build.

This fixes the package build.

Merge request reports