innodb_zip.recover, innodb_gis.types failed in buildbot with server failing to restart

innodb_zip.recover 'innodb'              w1 [ fail ]

        Test ended at 2020-05-06 14:52:03

CURRENT_TEST: innodb_zip.recover

mysqltest: In included file "./include/wait_until_connected_again.inc": 

included from ./include/start_mysqld.inc at line 18:

included from ./include/restart_mysqld.inc at line 11:

included from /usr/share/mysql-test/suite/innodb_zip/t/recover.test at line 29:

At line 23: Server failed to restart

The result from queries just before the failure was:

#

# MDEV-12720 recovery fails with "Generic error"

# for ROW_FORMAT=compressed

#

CREATE TABLE a(i INT PRIMARY KEY AUTO_INCREMENT, s VARCHAR(255)) ENGINE=InnoDB

ROW_FORMAT=COMPRESSED KEY_BLOCK_SIZE=1;

BEGIN;

insert into a(i) select null;

insert into a select null, uuid() from a a, a b, a c;

insert into a select null, uuid() from a a, a b, a c;

insert into a select null, uuid() from a a, a b, a c;

SET GLOBAL innodb_flush_log_at_trx_commit=1;

COMMIT;

2020-05-07  9:42:08 0 [Note] InnoDB: Ignoring data file './test/t1.ibd' with space ID 17, since the redo log references ./test/t1.ibd with space ID 16.

2020-05-07  9:42:08 0 [Note] InnoDB: Starting a batch to recover 332 pages from redo log.

2020-05-07  9:42:09 0 [Warning] InnoDB: Difficult to find free blocks in the buffer pool (21 search iterations)! 21 failed attempts to flush a page! Consider increasing innodb_buffer_pool_size. Pending flushes (fsync) log: 0; buffer pool: 0. 381 OS file reads, 78 OS file writes, 78 OS fsyncs.