projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ecb3a69) | patch
CI: run on pull requests as well, not just pushes.
authorwhitequark <whitequark@whitequark.org>
Tue, 14 Jul 2020 00:25:11 +0000 (00:25 +0000)
committerwhitequark <whitequark@whitequark.org>
Tue, 14 Jul 2020 00:25:11 +0000 (00:25 +0000)
commit127fce8f4869aa249bd7fc1995caf7f546320c3e
treeda7ca4baac2453a1e9922d8eb134d5119201d136tree
parentecb3a69d485b30767bef83c5b5f7804d14f34ed7commit | diff
CI: run on pull requests as well, not just pushes.
.github/workflows/main.yaml diff | blob | history