aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2022-08-17 15:51:13 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2022-08-17 15:51:13 +0900
commit3a6e90b3b43c27869d9df6e2b174e1d7c05009d6 (patch)
tree049ec4e007e1fe7a79e63e4f24b5471085a75c1e /jobs
parent4c49b85c5dc202b6335bd3544c8ce3833409895e (diff)
learn-acl2.develop: Add learn-acl2.develop.
Diffstat (limited to 'jobs')
l---------jobs/learn-acl2.develop.run1
1 files changed, 1 insertions, 0 deletions
diff --git a/jobs/learn-acl2.develop.run b/jobs/learn-acl2.develop.run
new file mode 120000
index 0000000..e4b0c23
--- /dev/null
+++ b/jobs/learn-acl2.develop.run
@@ -0,0 +1 @@
+learn-acl2.run \ No newline at end of file