diff options
| author | Marc Hoersken <info@marc-hoersken.de> | 2020-04-26 19:24:11 +0200 |
|---|---|---|
| committer | Marc Hoersken <info@marc-hoersken.de> | 2020-04-26 19:24:11 +0200 |
| commit | cca20cb00e0d0c06b27814a881b195a51d91de87 (patch) | |
| tree | 214ef01627629657a2861bb56edf27b84eb69bcc /docs/cmdline-opts | |
| parent | 2fc1c9d7e71e8f5c394eff774f4b1ef296e7ed52 (diff) | |
CI: do not include */ci branches in PR builds
Align Azure Pipelines with GitHub Actions.
Diffstat (limited to 'docs/cmdline-opts')
0 files changed, 0 insertions, 0 deletions