aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Collapse)Author
2021-04-15tools/ci.sh: Build esp32 using IDF v4.0.2 and v4.3.Damien George
To test different IDF's, and also test building the GENERIC_S2 board. Signed-off-by: Damien George <damien@micropython.org>
2021-03-12tests: Rename run-tests to run-tests.py for consistency.Damien George
Signed-off-by: Damien George <damien@micropython.org>
2021-02-15tools/ci.sh: Change esp32 CI to work with idf.py and IDF v4.0.2.Damien George
Signed-off-by: Damien George <damien@micropython.org>
2021-02-01github/workflows/ports_unix.yml: Add job for a reproducible build.iTitou
With a check for reproducible build date. Invocation of the test suite is not needed because it's already run in another job. Signed-off-by: iTitou <moiandme@gmail.com>
2021-01-30github/workflows: Add workflow to verify commit message format.stijn
Using the new tools/verifygitlog.py script.
2021-01-30github/workflows: Add CI workflow for rp2 port.Damien George
Signed-off-by: Damien George <damien@micropython.org>
2021-01-24github/workflows: Fix code-size CI workflow.Damien George
Changes are: - Use ubuntu-20.04 so that gcc-multilib installs without error. - Use "fetch-depth: 100" to get history prior to pull request. Signed-off-by: Damien George <damien@micropython.org>
2020-12-14tools/ci.sh: Put echo of CI path in a separate function.Damien George
Because the setup functions may print other information which should not be added to the path. Signed-off-by: Damien George <damien@micropython.org>
2020-11-30github/workflows: Run unix and qemu-arm workflows when tests change.Damien George
Signed-off-by: Damien George <damien@micropython.org>
2020-11-29github/workflows: Add workflows for all CI tasks, builds and tests.Damien George
Signed-off-by: Damien George <damien@micropython.org>
2020-06-05github: Add GitHub action to build docs.David Lechner
This builds docs, but only on pull requests that change a file in the docs/ directory.