Run test-suite on Alpine CI - #169

Run test-suite on Alpine CI#169

andres-erbsen wants to merge 8 commits into

rocq-prover:masterrocq-prover/stdlib:masterfrom

andres-erbsen:alpine-test-suiteandres-erbsen/stdlib:alpine-test-suiteCopy head branch name to clipboard