Skip to content

Allow manual trigger of CI in Github interface #19

Allow manual trigger of CI in Github interface

Allow manual trigger of CI in Github interface #19

Annotations

1 warning

build

succeeded Aug 21, 2024 in 38s