summaryrefslogtreecommitdiff
path: root/backends/hol4
diff options
context:
space:
mode:
authorSon Ho2023-11-10 16:54:34 +0100
committerSon Ho2023-11-10 16:54:34 +0100
commite3dc6001c953cd3a292326672762b4dfdbbb933c (patch)
tree6fea9183f44087c4514ef49b5187ae00164c197e /backends/hol4
parent8471e87b2b1b8123f15f5613e633daf68ccf94dc (diff)
Update the ci.yml
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions