Skip Alpine CI if Require Bool. fails - #174

Skip Alpine CI if Require Bool. fails#174

andres-erbsen wants to merge 1 commit into

mastermit-plv/coqutil:masterfrom

alpine-skip-require-boolmit-plv/coqutil:alpine-skip-require-boolCopy head branch name to clipboard