aboutsummaryrefslogtreecommitdiff
path: root/jobs/acl2-theorems.before
blob: f21a912e418cedf0fb170e3fc88a0423e3ffe2b2 (about) (plain)
1
2
3
4
5
6
7
8
9
10
#!/usr/bin/env bash
set -euo pipefail

git clone https://git.tojo.tokyo/acl2-theorems.git .
echo
git checkout "${branch:-master}"
echo '---'
git log -n 1
echo '---'
echo