diff options
| author | 2020-12-05 13:01:55 +0100 | |
|---|---|---|
| committer | 2020-12-05 13:01:55 +0100 | |
| commit | a2d85eb6b5fc68b687741f23bb5061802f2f88cb (patch) | |
| tree | d9e4ce398718b6ff9f3677f43d367b0cf9390d9f /bot | |
| parent | Mitigate session expiry by using fallback session (diff) | |
Use custom status embeds for workflow runs
This commit introduces enhanced status embeds for workflow runs that
give more information about run that just ended. An added advantage is
that we can disable the default "give me everything"-setting of GitHub
and fine tune when we want to send embeds.
This allows us to only send an embed for the `lint->build` sequence when
the sequence ends (e.g. in the end when done or after an intermediate
step due to failure/cancellation).
Diffstat (limited to 'bot')
0 files changed, 0 insertions, 0 deletions