change configure but no generation#21

rjbou wants to merge 2 commits into

all-your-baserjbou/opam:all-your-basefrom

gha-config-errrjbou/opam:gha-config-errCopy head branch name to clipboard