Closed felixfontein closed 2 years ago
This prints some more information about the current HEAD in the PR build. Might help debugging #36.
This prints some more information about the current HEAD in the PR build. Might help debugging #36.