I noticed there does not seem to be a LaunchPad TM4C1230C3PM, just the MCU. Furthermore, the actual specs are Flash: 32KB SRAM: 12KB, which does not match Platform IO lists for the TivaC123. The product URL is given for the board on GitHub clearly states that the EK-TM4C123GXL uses the TM4C123GH6PM MCU (which does match the given specs), not the LPTM4C1230C3PM.
I noticed there does not seem to be a LaunchPad TM4C1230C3PM, just the MCU. Furthermore, the actual specs are Flash: 32KB SRAM: 12KB, which does not match Platform IO lists for the TivaC123. The product URL is given for the board on GitHub clearly states that the EK-TM4C123GXL uses the TM4C123GH6PM MCU (which does match the given specs), not the LPTM4C1230C3PM.