pico_ada_c03_led_bar

{
  "*": {
    "ada_version": [
      "-gnat2022"
    ]
  },
  "development": {
    "compile_checks": "Warnings",
    "contracts": "Yes",
    "runtime_checks": "Overflow"
  },
  "release": {
    "compile_checks": "Warnings",
    "contracts": "No",
    "runtime_checks": "Default"
  },
  "validation": {
    "compile_checks": "Warnings",
    "contracts": "Yes",
    "runtime_checks": "Everything"
  }
}

{
  "values": {
    "light_tasking_rp2040": {
      "Board": "rpi_pico",
      "Max_CPUs": 2
    },
    "rp2040_hal": {
      "Interrupts": "bb_runtimes",
      "Use_Startup": false
    }
  }
}

{
  "hashes": [
    "sha256:c339c491585cd9d8ec0e904133b89ea9f65543266551c083be7e9bbf740b9dd5",
    "sha512:806e5022a9d6a8d1faed8831d7ecbf96b536bc61200192125f94afb9d81ce78fbc0baa79140fe0fa0327cddbfcc8e2d381f6c3e1131d7f1671a0a6c74689e278"
  ]
}