Skip to content

ci: allow manual C-header generation on any branch - #392

Open
alessandroferraioli95 wants to merge 1 commit into
masterfrom
ci-dispatch-c-headers
Open

ci: allow manual C-header generation on any branch#392
alessandroferraioli95 wants to merge 1 commit into
masterfrom
ci-dispatch-c-headers

ci: allow manual C-header generation on any branch

493510a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar