b46b140 — Ben Sturmfels
Switch to `make check` and `make docs` in CI builds
Error fetching logs for task "None"