CI

Fix problems with texi #96

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (25.2)	1m 39s
build (28.2)	2m 3s
build (27.1)	50s
build (28.1)	50s
build (release-snapshot)	51s
build (26.3)	1m 40s
build (25.1)	1m 54s
build (29.1)	2m 4s
build (25.3)	1m 43s
build (29.2)	1m 17s
build (snapshot)	49s
build (30.1)	2m 4s
build (27.2)	46s
build (29.3)	1m 1s
	19m 31s