summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-11-10 17:30:23 +0100
committerSon Ho2023-11-10 17:30:23 +0100
commitd527795cb5c24892617bd5f7df75450e50069194 (patch)
treefdd01fd2a06a743f7e6c24ab01bad8aa85886208 /tests/coq/misc/Makefile
parent57ffe2c9b46e196310f0abd6c001751fe2f2a6b9 (diff)
Update the ci.yml
Diffstat (limited to 'tests/coq/misc/Makefile')
0 files changed, 0 insertions, 0 deletions