Are those de-duplicated? How are dealing with push vs PR builds?
#SFML is currently getting ~100 builds, but on a PR it's always duplicated because we can't (easily) get GitHub Actions to ignore PR if it also runs for push.
Most of them complete within 20 minutes, typically all of them within 30 minutes. But we have worked HARD recently to get hem down to this. Used to be multiple hours.
Eeee Ali e
in reply to daniel:// stenberg:// • • •rsalz
in reply to daniel:// stenberg:// • • •daniel:// stenberg://
in reply to rsalz • • •Thibault
in reply to daniel:// stenberg:// • • •daniel:// stenberg://
in reply to Thibault • • •Lukas
in reply to daniel:// stenberg:// • • •Are those de-duplicated? How are dealing with push vs PR builds?
#SFML is currently getting ~100 builds, but on a PR it's always duplicated because we can't (easily) get GitHub Actions to ignore PR if it also runs for push.
daniel:// stenberg://
in reply to Lukas • • •Lukas
in reply to daniel:// stenberg:// • • •daniel:// stenberg://
in reply to Lukas • • •Johan Lindskogen
in reply to daniel:// stenberg:// • • •daniel:// stenberg://
in reply to Johan Lindskogen • • •Johan Lindskogen
in reply to daniel:// stenberg:// • • •gigantos
in reply to daniel:// stenberg:// • • •