Skip to content
Snippets Groups Projects

Fix test in Coq 8.10 and 8.11.

Passed
Robbert Krebbers created pipeline for commit 924d085e
, finished
For master
6 jobs 10 minutes 50 seconds, queued for 157 seconds