Fix Makefile indentation
Revert "Debug CI"

This reverts commit b08f8c07f9df286c27e96efc3818a0ec2db17189.