diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-17 15:51:13 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-17 15:51:13 +0900 |
| commit | 3a6e90b3b43c27869d9df6e2b174e1d7c05009d6 (patch) | |
| tree | 049ec4e007e1fe7a79e63e4f24b5471085a75c1e | |
| parent | 4c49b85c5dc202b6335bd3544c8ce3833409895e (diff) | |
learn-acl2.develop: Add learn-acl2.develop.
| l--------- | jobs/learn-acl2.develop.run | 1 |
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 |