Design: Pull requests

Workflow

Trigger: https://reports.octoprobe.org/jobs/test_pr

• reports.octoprobe.org * Given: PR 17782 * gh:

  • commit

  • changed file list

  • gh: Get comment from https://github.com/micropython/micropython/pull/17782

    • commit of last test

  • If commits equal: Stop

  • mptest changed-file-list -> ports to be tested

  • Start github action

• Github action

  • As https://github.com/octoprobe/testbed_micropython/actions

  • Eventually: Update comment on https://github.com/micropython/micropython/pull/17782