aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-08-01 01:17:39 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-08-01 01:17:39 +0900
commita39180779b8cc553ef7de89ecca625d7d98c11c1 (patch)
tree0c48726d432c210f7321b15b99646d4decc37e70 /jobs
parente49733021f92c10a3e91bf7ec598666c161ba747 (diff)
acl2-theorems.develop: Fix config.
Diffstat (limited to 'jobs')
l---------jobs/acl2-theorems.develop.run1
l---------jobs/acl2-verify.develop.run1
2 files changed, 1 insertions, 1 deletions
diff --git a/jobs/acl2-theorems.develop.run b/jobs/acl2-theorems.develop.run
new file mode 120000
index 0000000..6356595
--- /dev/null
+++ b/jobs/acl2-theorems.develop.run
@@ -0,0 +1 @@
+./acl2-theorems.run \ No newline at end of file
diff --git a/jobs/acl2-verify.develop.run b/jobs/acl2-verify.develop.run
deleted file mode 120000
index 72cb64f..0000000
--- a/jobs/acl2-verify.develop.run
+++ /dev/null
@@ -1 +0,0 @@
-./acl2-verify.run \ No newline at end of file