summaryrefslogtreecommitdiff
path: root/tests/coq
diff options
context:
space:
mode:
authorSon Ho2024-03-11 17:48:56 +0100
committerSon Ho2024-03-11 17:48:56 +0100
commit7875ac644e88d3f0209a452064e1fe0eed6f6a50 (patch)
treefde87e28d10f8591e12eba1f8d870dd1d6fdade4 /tests/coq
parent74dcc7a12f6100d56e38c7aefb131f41c9fe9b52 (diff)
Change the tests target to test
Diffstat (limited to 'tests/coq')
0 files changed, 0 insertions, 0 deletions