Test

[ fix #250 ] Merge both lookup tables for UTF-16 surrogate pairs & Wi… #1043

Job	Run time
build-and-test (windows-latest, Agda-2.6.3)	3m 15s
build-and-test (macos-latest, Agda-2.6.3)	2m 21s
build-and-test (macos-latest, Agda-2.6.4)	1m 51s
build-and-test (windows-latest, Agda-2.7.0)	2m 57s
build-and-test (macos-latest, Agda-2.7.0)	3m 2s
build-and-test (ubuntu-latest, Agda-2.7.0)	1m 56s
build-and-test (ubuntu-latest, Agda-2.6.4)	1m 53s
build-and-test (ubuntu-latest, Agda-2.6.3)	1m 52s
build-and-test (windows-latest, Agda-2.6.4)	3m 27s
	22m 34s

Provide feedback