# The CI pipeline is served by the update server: GET /build/config?platform=tic80
platform: tic80