Tags automation aviation aws-s3 c ci-cd circuitpython code embedded esp32 esp-idf firmware github-actions hardware led nikola python tv