Skip to content

Draft: linux: build without nodoc profile

Johannes Schauer Marin Rodrigues requested to merge nodoc into main

now that the arm64 CI runner are building linux we can build the linux kernel documentation packages (which are not cross-buildable).

Unfortunately, this blows up the build-time for the linux job to 39 minutes. Thus, marking this as draft.

Merge request reports