Skip to content
Snippets Groups Projects

Get rid of future-coercion-class-field warnings

Passed
Pierre Roux created pipeline for commit 97bd7198
, finished
Related merge request !1030 to merge coq_18224
merge request
2 jobs 7 minutes 35 seconds, queued for 2 seconds