petsal96

Results 1 issues of petsal96

Hello, I get the following error when trying to run the coverage target (output from GitHub actions build after creating a new respository from the template): ``` ... [ 98%]...