aboutsummaryrefslogtreecommitdiff
path: root/jobs/acl2-verify.sh
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-12-20 21:29:43 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-12-20 21:29:43 +0900
commit9e568ac5fb386ffb6687875f2ce696c4aff80b00 (patch)
tree48172fec7806503324766eb3f7badc5986cd2fba /jobs/acl2-verify.sh
parentd3b95656e51eb7c65c9e916b58f4ad31196ee563 (diff)
deploy-www-tojo-tokyo: test.
Diffstat (limited to 'jobs/acl2-verify.sh')
0 files changed, 0 insertions, 0 deletions