CI

Add default release.yml workflow #230

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	4m 12s
stable-4.12	5m 34s
stable-4.14	5m 33s
master	5m 21s
stable-4.11	5m 7s
stable-4.9	5m 37s
stable-4.10	5m 1s
stable-4.13	5m 31s
	41m 56s