Build and Test

Update `textual_input_port::take_codepoint` to `take_character` #2957

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu (g++, Debug, ubuntu-20.04)	11m 32s
Ubuntu (g++, Debug, ubuntu-22.04)	5m 8s
Ubuntu (g++, Release, ubuntu-20.04)	4m 29s
Ubuntu (g++, Release, ubuntu-22.04)	4m 10s
Ubuntu (clang++, Debug, ubuntu-20.04)	17m 13s
Ubuntu (clang++, Debug, ubuntu-22.04)	8m 2s
Ubuntu (clang++, Release, ubuntu-20.04)	7m 32s
Ubuntu (clang++, Release, ubuntu-22.04)	8m 20s
	1h 6m 26s