Allow E.pipe to pipe from Strings, remove pipe's internal `position` … #730

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_padded (ESPRUINOBOARD)	1m 6s
build_padded (PICO_R1_3)	1m 50s
build_padded (ESPRUINOWIFI)	1m 39s
build_dfu (PUCKJS)	1m 33s
build_dfu (PIXLJS)	2m 13s
build_dfu (MDBT42Q)	1m 50s
build_dfu (BANGLEJS)	3m 25s
build_dfu (BANGLEJS2)	2m 51s
build_dfu (PUCKJS_MINIMAL)	1m 25s
build_main (LINUX)	30s
build_main (ESP32)	54s
build_main (ESP8266_BOARD)	36s
build_main (ESP8266_4MB)	53s
build_main (MICROBIT1)	1m 11s
build_main (MICROBIT2)	2m 26s
	24m 22s