Merge branch 'main' into main

This commit is contained in:
Nestor Qin 2025-11-20 15:34:35 -08:00 committed by GitHub
commit 4d7af38d3f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -2,7 +2,7 @@ name: Marvin Test Failure Analysis
on:
workflow_run:
workflows: ["Run Tests"]
workflows: ["Tests", "Run static analysis"]
types:
- completed