diff options
| author | Olivier Fourdan <ofourdan@redhat.com> | 2024-11-18 12:13:14 +0100 |
|---|---|---|
| committer | Olivier Fourdan <ofourdan@redhat.com> | 2024-11-19 09:19:15 +0100 |
| commit | d98b36461a142f451a509e52f3faa98baea12ccd (patch) | |
| tree | 1263dd66dd2933dd7de5584d86a45403341237e4 /Xi | |
| parent | fbedb9b12bce650d2b302c4ee7b1a1fdc4e9055b (diff) | |
ci: Check for DDXen to be built
Add a script in CI to check for the mere presence of the expected DDXen
to be built.
Signed-off-by: Olivier Fourdan <ofourdan@redhat.com>
Part-of: <https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/1743>
Diffstat (limited to 'Xi')
0 files changed, 0 insertions, 0 deletions