diff options
Diffstat (limited to 'jobs')
| -rw-r--r-- | jobs/acl2-verify.run (renamed from jobs/acl2-verify.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/jobs/acl2-verify.sh b/jobs/acl2-verify.run index ea65156..ea65156 100644 --- a/jobs/acl2-verify.sh +++ b/jobs/acl2-verify.run |