patrick/zephyr
1
0
Fork 0
Code Issues Pull requests Actions 7 Packages Projects Releases Wiki Activity
zephyr/.github
History
Stephanos Ioannidis e11d82ba31 ci: doc-build: Disable PDF documentation build for pull requests 
This commit disables the PDF documentation build for pull request CI
runs because the HTML documentation build already validates the
documentation changes and the PDF build takes significantly longer than
the HTML build.

Signed-off-by: Stephanos Ioannidis <root@stephanos.io>
2022-12-14 01:13:45 +09:00
..
ISSUE_TEMPLATE templates: nomination: Fix outdated "GitHub Permission Level" link 2022-09-30 09:43:17 +00:00
workflows ci: doc-build: Disable PDF documentation build for pull requests 2022-12-14 01:13:45 +09:00
license_config.yml ci: add license check using github actions 2020-02-09 11:55:56 -05:00
SECURITY.md github: Update security page 2022-10-01 06:50:17 -04:00