diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 22:49:47 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 22:49:47 +0900 |
| commit | 3040e3a9e8c910a17e7d1fc0d3367cee2fcca3d2 (patch) | |
| tree | e2694105252377dbcded36b80784249d4f06fb4a /jobs/acl2-theorems.before | |
| parent | a3519846778642ae7c275f09b736123744662c92 (diff) | |
Remvoe cfg directory.
Diffstat (limited to 'jobs/acl2-theorems.before')
| -rwxr-xr-x | jobs/acl2-theorems.before | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jobs/acl2-theorems.before b/jobs/acl2-theorems.before new file mode 100755 index 0000000..da530b7 --- /dev/null +++ b/jobs/acl2-theorems.before @@ -0,0 +1,3 @@ +#!/bin/sh + +guix environment --ad-hoc nss-certs git -- git clone https://git.tojo.tokyo/acl2-theorems.git . |