Gerwin Klein 95fda2bcc1 github: add a GitHub action to build the manual ... This will build a PDF of the reference manual in draft mode and upload that PDF as a build artifact. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2021-06-18 08:35:55 +10:00
..
compilation-checks.yml	CI: Add a PR check to do a stand-alone kernel compilation (#236)	2020-08-11 16:22:04 +08:00
manual.yml	github: add a GitHub action to build the manual	2021-06-18 08:35:55 +10:00
pr.yml	Add MCS to the preprocess check	2021-05-07 09:54:27 +10:00
push.yml	Refactor github workflows; add preprocess test	2020-06-18 12:47:54 +10:00