Closed axel-h closed 5 months ago
Apply changes from https://github.com/seL4/seL4/pull/1178 here also.
Remove the space in the workflow name to ensure there are no side effects when using it as an identifier.
Apply changes from https://github.com/seL4/seL4/pull/1178 here also.
Remove the space in the workflow name to ensure there are no side effects when using it as an identifier.