Skip to content
Snippets Groups Projects

avoid a whacky rewrite that no longer works with Coq 8.16

Failed
Ralf Jung created pipeline for commit 781d0b1e
, finished
For master
Scheduled branch
1 job 28 minutes 55 seconds, queued for 3 seconds