Use `Check` instead of `About` to hopefully have stable test output among Coq versions.
Failed
Robbert Krebbers
created pipeline for commit
f3842eb3
, finished
1 related merge request: !129 Fix `Export` order for `length`. Remove `length` hack in strings.
13 minutes 20 seconds, queued for 3 seconds