⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Add manual trigger to CI#85

Merged
4ntn merged 1 commit intokiltedfrom
ci_manual_trigger
Jun 11, 2025
Merged

Add manual trigger to CI#85
4ntn merged 1 commit intokiltedfrom
ci_manual_trigger

Commits

Commits on Jun 11, 2025