diff options
| author | sagudev <16504129+sagudev@users.noreply.github.com> | 2025-06-05 10:33:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-05 08:33:53 +0000 |
| commit | 6cc3e2934c941fbcb05bf52a92c16f0eb58c4109 (patch) | |
| tree | 79aac6e21c9fa02e40a571734337fac39420ba20 /tests/wpt/meta/html/semantics/embedded-content/the-img-element/decode | |
| parent | 36e78d1a3da95af60ebb1753389deb4852803231 (diff) | |
| download | servo-main.tar.gz servo-main.zip | |
In https://github.com/servo/servo/pull/37255 I discovered that editing
PR title to soon will not take into affect until I manually rerun WPT
export (because first run that actually created PR hasn't done yet). We
can somehow resolve this by forbidding concurrent runs of WPT Export for
same PR and hope that first queued run is also firstly run.
docs:
https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs
Testing: This is CI
Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>
Diffstat (limited to 'tests/wpt/meta/html/semantics/embedded-content/the-img-element/decode')
0 files changed, 0 insertions, 0 deletions