CI misc

Remove duplicate alphabets and replace seqan2::String #590

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	2m 39s
Header gcc12	6m 4s
Header gcc10	6m 42s
	15m 25s