Skip to content

The CI should automatically open an issue in case of failure #8734

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
smarter opened this issue Apr 16, 2020 · 0 comments · Fixed by #11970
Closed

The CI should automatically open an issue in case of failure #8734

smarter opened this issue Apr 16, 2020 · 0 comments · Fixed by #11970
Labels
area:infrastructure itype:enhancement

Comments

@smarter
Copy link
Member

smarter commented Apr 16, 2020 •
edited
Loading

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.
@anatoliykmetyuk anatoliykmetyuk mentioned this issue Apr 20, 2020
Closed
10 tasks
anatoliykmetyuk added a commit to dotty-staging/dotty that referenced this issue Apr 20, 2020
@anatoliykmetyuk
Fix scala#8734: Add a CI watchdog workflow to create an issue on buil…
72d514e 
…d failure
anatoliykmetyuk added a commit to dotty-staging/dotty that referenced this issue Apr 21, 2020
@anatoliykmetyuk
Fix scala#8734: Add a CI watchdog workflow to create an issue on buil…
5244fc3 
…d failure
anatoliykmetyuk added a commit to dotty-staging/dotty that referenced this issue Apr 22, 2020
@anatoliykmetyuk
Fix scala#8734: Add a CI watchdog workflow to create an issue on buil…
a9f81b0 
…d failure
@letalvoj letalvoj mentioned this issue Jun 3, 2020
Closed
@anatoliykmetyuk anatoliykmetyuk removed their assignment Nov 24, 2020
@griggt griggt mentioned this issue Mar 24, 2021
Closed
@griggt griggt mentioned this issue Apr 1, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:infrastructure itype:enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

CI: Automatically open an issue if nightly build fails griggt/dotty
2 participants
@smarter @anatoliykmetyuk