I seem to not have access to Jenkins builds at all now. Could somebody fix that?

If anybody can cut-and-paste the Jenkins failure for me that would be awesome, it passes tests/doxygen/lint locally…:

What happens when you try to get to this page?

I was able to view it without any authentication.

It looks like you don’t have the include for the floor function.

Ok, now I can access it, not sure what was up. Is there any way to get these warnings locally? I just fixed (?) and push to let Jenkins check but if I have to iterate it would be nice to know which test creates the warnings and I can’t tell from the pile of output.

Never mind, just had to ask to re-discover it.

To run those tests locally, type make test-headers.