Commit 1226aa9c authored by Ralf Jung's avatar Ralf Jung

test Coq beta branch (since master is broken)

parent d21f89df
Pipeline #40894 passed with stage
in 19 minutes and 55 seconds