Closed ralfhandl closed 4 months ago
Why is this necessary? The build job runs after every push.
We just had a conflict with main after running the build, and I thought running the build again might solve the problem.
main
Why is this necessary? The build job runs after every push.