path: root/jobs/acl2-theorems.develop.before

#!/usr/bin/env bash
set -euo pipefail

git clone https://git.tojo.tokyo/acl2-theorems.git .
git checkout "$branch"
git log -n 1