catch2/WORKSPACE