Repository navigation

ci: allow manual dispatch of the CI workflow - #26

Merged

devin-ai-integration[bot] merged 1 commit into

devin/1791519730-ci-workflow-dispatch

Oct 9, 2026

Merged

ci: allow manual dispatch of the CI workflow#26
devin-ai-integration[bot] merged 1 commit into
masterfrom
devin/1791519730-ci-workflow-dispatch

Commits on Oct 9, 2026
- ci: allow manual dispatch of the CI workflow
  
  devin-ai-integration[bot]
  and
  kwent
  committed
  796e679