summaryrefslogtreecommitdiff
path: root/tests/coq/betree/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-11-10 17:03:32 +0100
committerSon Ho2023-11-10 17:03:32 +0100
commitf00da97a17e4d8445fc74303b907b57b1fbddb1e (patch)
tree8f69f7d4e9961e570a2afb049bfe8baba7cc5516 /tests/coq/betree/Makefile
parent27eb90fc61a45f8a8c5f1279082b0210d285bbc1 (diff)
Update the ci.yml
Diffstat (limited to 'tests/coq/betree/Makefile')
0 files changed, 0 insertions, 0 deletions