CI

Finish adding 'interface' mode #45

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GAP master	3m 36s
GAP master	3m 33s
Build manuals	1m 16s
Build manuals	3m 7s
GAP stable-4.11	1m 52s
GAP stable-4.11	1m 35s
	14m 59s