diff options
| author | mergify[bot] | 2022-09-27 22:44:18 +0000 |
|---|---|---|
| committer | GitHub | 2022-09-27 22:44:18 +0000 |
| commit | 9f1eae19445e110bb743176767f59970ce1d36b5 (patch) | |
| tree | 2898e6ef450aa0dc20542be01e20941b043bf51e /docs | |
| parent | f19556801137091fa79a6d79395985474527b72d (diff) | |
[ci] Split formatting and docs checks into separate task (backport #2749) (#2750)
* [ci] Split formatting and docs checks into separate task (#2749)
(cherry picked from commit ed2694293d61aa930341aef9f30c7762b889b5ae)
# Conflicts:
# .github/workflows/test.yml
* Resolve backport conflicts
Co-authored-by: Jack Koenig <koenig@sifive.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions