Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix(github-action): Use the correct cmdfactory prototype for
Run
(#985
) Reviewed-by: Cezar Craciunoiu <cezar.craciunoiu@unikraft.io> Approved-by: Cezar Craciunoiu <cezar.craciunoiu@unikraft.io>
- Loading branch information