Skip to content

fix tests for preceding commit #172

fix tests for preceding commit

fix tests for preceding commit #172

Annotations

3 errors and 2 warnings

test (coq-8.14-emacs-29.2)

succeeded Mar 3, 2024 in 1m 39s