seL4/.github
Axel Heider a8eebabf58 CI: remove obsolete concurrency setup in job
The concurrency is set for the whole workflow already

Signed-off-by: Axel Heider <axelheider@gmx.de>
2024-02-09 12:59:04 +00:00
..
workflows CI: remove obsolete concurrency setup in job 2024-02-09 12:59:04 +00:00