diff options
| author | Peter Hutterer <peter.hutterer@who-t.net> | 2024-02-29 13:47:58 +1000 |
|---|---|---|
| committer | Peter Hutterer <peter.hutterer@who-t.net> | 2024-02-29 13:47:58 +1000 |
| commit | f818ae17ae0e51f00eca71b0fc8e12dadd8b0299 (patch) | |
| tree | db848cf502c2380ce1dc1c0be923aeba0f41323b /tools | |
| parent | 6acdcbcb9368a3e3df07ed3dc4f03f0cd6f60497 (diff) | |
CI: add new workflow rules
Required for pipelines to run after some infrastructure changes, see
https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/438
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions