diff options
| author | Idan Horowitz <idan.horowitz@gmail.com> | 2021-04-18 13:23:19 +0300 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-04-18 12:47:50 +0200 |
| commit | 5c924d395f43ee8f16a9ba8c5007a214ba629a79 (patch) | |
| tree | bdec1b9018e6ae9acf89fc0d12f3408a9ae9ec0b /.github/workflows | |
| parent | 8d4780aff4d9d159c48d2c414337f3996b141dd1 (diff) | |
| download | serenity-5c924d395f43ee8f16a9ba8c5007a214ba629a79.zip | |
Meta: Disable discord notifications timeout
Since some builds can take even longer than 1 hour
(for example: f033416893b097e9f148711c161537db328d02cd)
this commit just increases the timeout to be github's
own workflow timeout (effectively disabling it) and just
lets github handle it instead.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/discord.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/discord.yml b/.github/workflows/discord.yml index ba65a9b570..194b236182 100644 --- a/.github/workflows/discord.yml +++ b/.github/workflows/discord.yml @@ -16,7 +16,7 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} excludedCheckName: "notify_discord" ref: ${{ github.event.pull_request.head.sha || github.sha }} - timeoutSeconds: 3600 + timeoutSeconds: 21600 intervalSeconds: 100 - name: Discord action notification |