add `ER_SIGNAL_EXCEPTION` for unhandled user-defined exceptions #309

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test mysql:5.6 1.11.3/23.2.5	55s
test mysql:5.6 1.16.2/26.2.5	58s
test mysql:5.7 1.11.3/23.2.5	1m 7s
test mysql:5.7 1.16.2/26.2.5	59s
test mysql:8.0 1.11.3/23.2.5	56s
test mysql:8.0 1.16.2/26.2.5 lint	55s
test mariadb:10.3 1.11.3/23.2.5	3m 8s
test mariadb:10.3 1.16.2/26.2.5	3m 2s
test mysql:8.0 1.7.4/21.3.8.24	3m 7s
	15m 7s