For example it's easy to miss the scheduled fuzz job failing. It would be good if it created an automatic issue, or something of that nature.
One option could use could use if: ${{ failure() }}`` from https://docs.github.com/en/actions/reference/workflows-and-actions/contexts#job-status-check-functions in combination with the github cli to add an issue. It should only create a fuzzing error job if it failed and if there isn't on already open. If it is already open it should just add a comment. If it was previously closed it should create a new one.
The fuzzing job is https://github.com/hyperlight-dev/hyperlight/blob/main/.github/workflows/Fuzzing.yml
For example it's easy to miss the scheduled fuzz job failing. It would be good if it created an automatic issue, or something of that nature.
One option could use
could useif: ${{ failure() }}`` from https://docs.github.com/en/actions/reference/workflows-and-actions/contexts#job-status-check-functions in combination with the github cli to add an issue. It should only create a fuzzing error job if it failed and if there isn't on already open. If it is already open it should just add a comment. If it was previously closed it should create a new one.The fuzzing job is https://github.com/hyperlight-dev/hyperlight/blob/main/.github/workflows/Fuzzing.yml