aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xjobs/learn-acl2.run2
1 files changed, 1 insertions, 1 deletions
diff --git a/jobs/learn-acl2.run b/jobs/learn-acl2.run
index b9dc44b..bdd3939 100755
--- a/jobs/learn-acl2.run
+++ b/jobs/learn-acl2.run
@@ -1,7 +1,7 @@
#!/usr/bin/env bash
set -euo pipefail
-git clone https://git.tojo.tokyo/acl2-theorems.git .
+git clone https://git.tojo.tokyo/learn-acl2.git .
git checkout "${branch:-main}"
for path in $(find -type f -name '*.lisp'); do