Skip to content

ci: Use github-script to determine workflow context#131

Merged
ReenigneArcher merged 1 commit into
masterfrom
ci/Use-github-script-to-determine-workflow-context
May 16, 2026
Merged

ci: Use github-script to determine workflow context#131
ReenigneArcher merged 1 commit into
masterfrom
ci/Use-github-script-to-determine-workflow-context

Commits

Commits on May 16, 2026