Sergei Silnov
9600ba2e7e
tools: Don't build docker image for linux-arm64
2022-07-12 13:16:29 +02:00
Ivan Grokhotkov
d3f0969e4f
ci: build and push Docker images in Github actions, add arm64 platform
...
Replaces the previously used Docker Hub autobuild infrastructure.
This allows for more flexible configuration of the build process,
at the expense of some extra maintenance of CI workflow files
required.
2022-06-01 16:22:15 +02:00
Angus Gratton
6121046090
ci: Use GitHub Actions to generate recursive source code zips for releases
...
We do this for all ESP-IDF releases, this step automates it.
Uses action added in https://github.com/espressif/github-actions/pull/10
2021-05-02 23:45:32 +00:00
Angus Gratton
66fb5a29bb
Whitespace: Automated whitespace fixes (large commit)
...
Apply the pre-commit hook whitespace fixes to all files in the repo.
(Line endings, blank lines at end of file, trailing whitespace)
2020-11-11 07:36:35 +00:00
morris
d003f96a9d
gh_action: fix python lint
2020-05-20 10:50:10 +08:00
morris
28bfc93419
gh: remove default label on new issues
2020-01-09 17:07:34 +08:00
morris
e51bd6deaf
gh-action:fix python lint
2020-01-01 12:56:33 +08:00
Angus Gratton
7e72e12e4c
github: Update to new issue templates
...
- Add a separate template for feature requests
- Add links to Programming Guide, Documentation pages, forum in config.yml
2019-12-20 15:20:13 +11:00
suda-morris
938069de75
gh_action: add cron job to sync remaining PRs
2019-10-29 13:10:00 +08:00
suda-morris
58577db086
gh_action: fix error on new pull request
...
1. Disable the broken pull request sync temporarily
2. move python lint from travis to github action
2019-09-17 21:59:31 +08:00
suda-morris
b64551718c
gh_action: converted main.workflow to Actions V2 yml files
2019-08-12 19:45:48 +08:00
Angus Gratton
d0739861e8
github: Sync PRs to JIRA as well
...
Currently the GitHub sync half-syncs these (as it will create a JIRA issue as soon as the first
comment is made on the PR).
2019-03-14 14:29:46 +11:00
Angus Gratton
d0e3564603
github: Add workflow file to sync issues to JIRA
2019-03-08 18:39:30 +11:00
