CI

[BasicUI] input widget, support html escape characters in input #3178

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (Java 17, ubuntu-22.04)	5m 40s
Build (Java 21, ubuntu-22.04)	4m 20s
Build (Java profile-j21, ubuntu-22.04)	4m 30s
	14m 30s