CI misc

Remove duplicate alphabets and replace seqan2::String #625

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	2m 25s
Header gcc12	10m 38s
Header gcc10	10m 39s
	23m 42s