| .. |
|
scripts
|
f4ca4187cd
ci: show build failures directly in job log output
|
3 lat temu |
|
Dockerfile.tools
|
25b65f548d
CI: create Docker container containing compiled tools
|
3 lat temu |
|
formal.yml
|
63ed733d30
ci: move scripts into separate directory
|
3 lat temu |
|
kernel.yml
|
23e946d1ad
CI: kernel: generate ccache cache on kernel push
|
3 lat temu |
|
labeler.yml
|
7152599407
build: harden GitHub workflow permissions
|
3 lat temu |
|
tools.yml
|
2781e3839e
CI: tools: compile tools with ccache support for tools container
|
3 lat temu |