CI

Use "NO-NO" instead "NB-NO" #80

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
dita-ot_4-2-1	24s
dita-ot_3-7-4	1m 29s
dita-ot_4-1-2	1m 11s
dita-ot_4-0-2	1m 2s
dita-ot_4-2-3	22s
	4m 28s