mirror of
https://github.com/verilator/verilator.git
synced 2026-10-06 01:54:01 +02:00
CI: Also mop up after the Regression job
This commit is contained in:
@@ -16,7 +16,7 @@ name: Maintenance - PR run cleanup
|
||||
|
||||
on:
|
||||
workflow_run:
|
||||
workflows: ["Code coverage", "RTLMeter"]
|
||||
workflows: ["Code coverage", "Regression", "RTLMeter"]
|
||||
types: [completed]
|
||||
|
||||
permissions:
|
||||
|
||||
Reference in New Issue
Block a user