Skip to content

add a macro for checking if default theme is set #1936

add a macro for checking if default theme is set

add a macro for checking if default theme is set #1936

build-variants (EXTRA_FEATURES=0, PADEMU=0)

succeeded Nov 25, 2024 in 1m 0s
Set up job
1s
Initialize containers
12s
git checkout
1s
Run git config --global --add safe.directory "$GITHUB_WORKSPACE"
2s
Get version
0s
Compile -> make EXTRA_FEATURES=0 PADEMU=0 EXTRA_FEATURES=0 NOT_PACKED=1
42s
Create detailed changelog
0s
Upload variants artifact ELF
1s
Post git checkout
0s
Stop containers
0s
Complete job
0s