build Docs

IRQ support using Linux kernel Character Device + Posix threads #458

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docs / get-info	3s
build-docs / build-doxygen	19s
build-docs / build-sphinx	35s
build-docs / deploy-docs	0s
	57s