Skip to content

Decrease build time #125

@TiemenJoustraUM

Description

@TiemenJoustraUM

Currently we use a lot of CI time building the UM-kernel.
I think most time is spend on checking out the Linux git repo
Suggestion, can we checkout a version of the linux git repo when building the docker image? Then we only would need to update the repo on build, should save a lot of time.

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions