diff options
Diffstat (limited to 'jobs/acl2-theorems.develop.before')
l---------[-rwxr-xr-x] | jobs/acl2-theorems.develop.before | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/jobs/acl2-theorems.develop.before b/jobs/acl2-theorems.develop.before index 088f78a..05c494d 100755..120000 --- a/jobs/acl2-theorems.develop.before +++ b/jobs/acl2-theorems.develop.before @@ -1,6 +1 @@ -#!/usr/bin/env bash -set -euo pipefail - -git clone https://git.tojo.tokyo/acl2-theorems.git . -git checkout "$branch" -git log -n 1 +./acl2-theorems.before
\ No newline at end of file |