From cdaf8688594dc0e2e46ff9e5caa2ff5a137c2f23 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Wed, 17 Aug 2022 15:55:28 +0900 Subject: learn-acl2: Fix repository name. --- jobs/learn-acl2.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'jobs') 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 -- cgit v1.2.3