Christian Marangi 137ba15e6e CI: kernel: use ccache to speedup workflow 3 سال پیش
..
scripts f4ca4187cd ci: show build failures directly in job log output 3 سال پیش
Dockerfile.tools 25b65f548d CI: create Docker container containing compiled tools 3 سال پیش
formal.yml 63ed733d30 ci: move scripts into separate directory 3 سال پیش
kernel.yml 137ba15e6e CI: kernel: use ccache to speedup workflow 3 سال پیش
labeler.yml 7152599407 build: harden GitHub workflow permissions 3 سال پیش
tools.yml 2781e3839e CI: tools: compile tools with ccache support for tools container 3 سال پیش