Skip to content
Snippets Groups Projects

Let compilation under Coq 8.17 succeed without warnings.

Merged Robbert Krebbers requested to merge robbert/coq817 into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:04:14

avatar

No artifacts found

Passed

00:04:15

avatar

No artifacts found

Failed

00:14:03

avatar

No artifacts found

Loading