mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-12 11:54:09 +00:00
Code Activity

Merge pull request #5521 from YosysHQ/emil/merge-queues

Browse source 
.github: trigger everything that triggers on main or PRs on merge queue
This commit is contained in:
Emil J 2026-01-13 17:22:37 +01:00 • committed by GitHub
commit ff3c24fcdc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/extra-builds.yml vendored
View file

@ -5,6 +5,7 @@ on:
push:
branches:
- main
merge_group:
# test PRs
pull_request:
# allow triggering tests, ignores skip check