Skip to content
rename kernel target

- fixed bug in the CI