Guilherme Silva 4d0bd83010
ci: only replace dev builds if all jobs succeed (#980)
Previously, development binaries were uploaded as soon as their build
job succeeded.

However, because we build for many operating systems (with different
configurations), sometimes a build would succeed on Windows, but not on
Linux, for example.

When that happened, the GitHub Releases page for development builds
would be missing binaries for some OSes, because we were removing _all_
previous binaries before we even invoked CMake.

Now, we only replace the previous development builds if _all_ build
jobs succeed.
2023-06-12 07:49:56 +02:00
..
2022-03-26 16:29:59 +01:00
2022-12-22 06:18:48 +01:00