[theia-dev] Stuck PR test job

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[theia-dev] Stuck PR test job

From: Thomas Mäder <t.s.maeder@xxxxxxxxx>
Date: Fri, 11 Aug 2023 11:17:14 +0000
Delivered-to: theia-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/theia-dev/>
List-help: <mailto:theia-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/theia-dev>, <mailto:theia-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/theia-dev>, <mailto:theia-dev-request@eclipse.org?subject=unsubscribe>
User-agent: eM_Client/9.2.1735.0

Hi folks,

I seem to have a stuck job on a PR: https://github.com/eclipse-theia/theia/actions/runs/5830392520/job/15813447182 preventing any further jobs from running. Does anyone know how to kill the job?

/Thomas

Follow-Ups:
- Re: [theia-dev] Stuck PR test job
  - From: Marc Dumais

Prev by Date: [theia-dev] Deprecate @theia/git extension
Next by Date: Re: [theia-dev] Stuck PR test job
Previous by thread: [theia-dev] Deprecate @theia/git extension
Next by thread: Re: [theia-dev] Stuck PR test job
Index(es):
- Date
- Thread

Back to the top