As 4316f75ed4 has removed gp2ddb with its use of flex and bison, we do not need flex and bison any more, and so the github workflows do not need to install flex and bison either.
4316f75ed4