[.github] update MARCH string

This commit is contained in:
stnolting 2023-10-13 17:17:38 +02:00
parent 7ed8eb8e1e
commit 0065f3ddb2

View file

@ -57,7 +57,7 @@ jobs:
USER_FLAGS+=-DUART0_SIM_MODE
USER_FLAGS+=-DSUPPRESS_OPTIONAL_UART_PRINT
USER_FLAGS+=-flto
MARCH=rv32imac
MARCH=rv32imac_zicsr_zifencei
info
all