54dfe70b41
We've temporarily disabled the merge queue because our tests often
require retries to go all-green and this isn't possible to do on the
queue, meaning that it's close to impossible to get a PR merged.
Run tests on push so that they run in main when a PR is merged.
This reverts commit
|
||
|---|---|---|
| .. | ||
| check.yml | ||
| coverity.yml | ||
| create-tag.yml | ||
| generate.yml | ||
| propagate_to_manifestdb.yml | ||
| release.yml | ||
| stale-cleanup.yml | ||
| test.yml | ||
| trigger-gitlab.yml | ||