aboutsummaryrefslogtreecommitdiff
path: root/jobs/build-acl2.run
AgeCommit message (Collapse)Author
2021-09-09build-acl2: Make executable.Masaya Tojo
2021-09-09Add build-acl2 job.Masaya Tojo
2021-08-29Delete build-acl2 job and update guix-update job.Masaya Tojo
2021-08-29Add build-acl2 job.Masaya Tojo