Skip to content

Run CI when pushing to dev/* branches #1190

Run CI when pushing to dev/* branches

Run CI when pushing to dev/* branches #1190

Annotations

2 warnings

build (3, linuxgtk)

succeeded Sep 13, 2024 in 2m 32s