aboutsummaryrefslogtreecommitdiff
path: root/jobs/sicp-acl2.run
AgeCommit message (Expand)Author
2021-08-01Add sicp-acl2 job.Masaya Tojo