Closed
Description
We keep having our nightly builds fail for multiple days until someone realizes that they're broken (latest example: https://gitter.im/lampepfl/dotty?at=5e9880a963e7b73a5fdd7770). Can we set up github actions to automatically open an issue when that happen so we can be faster at fixing these things? A quick google search leads me to https://github.com/JasonEtco/create-an-issue.