Build and Test

Rename `textual_input_port::ignore` to `take_codepoints_off` #2945

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu (g++, Debug, ubuntu-20.04)	11m 39s
Ubuntu (g++, Debug, ubuntu-22.04)	5m 33s
Ubuntu (g++, Release, ubuntu-20.04)	4m 15s
Ubuntu (g++, Release, ubuntu-22.04)	4m 21s
Ubuntu (clang++, Debug, ubuntu-20.04)	17m 19s
Ubuntu (clang++, Debug, ubuntu-22.04)	8m 2s
Ubuntu (clang++, Release, ubuntu-20.04)	7m 17s
Ubuntu (clang++, Release, ubuntu-22.04)	8m 2s
	1h 6m 28s