Closed T145 closed 3 years ago
The README gets properly updated with line counts, so the build output has the proper filename. It has to be an issue with the GitHub CI.
The README gets properly updated with line counts, so the build output has the proper filename. It has to be an issue with the GitHub CI.