diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-14 12:09:18 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-14 12:09:18 +0900 |
| commit | fdd77e139487ff6df69d0634425b395f254bb8fa (patch) | |
| tree | 6f4e4f6d4cdcf19ae16136ef3393bb4ba36bd9a4 /jobs/build-acl2.run | |
| parent | 897f7e858500c4b577c47e2d4c6d29322f8edb91 (diff) | |
ci: Remove guix-operate job.
Diffstat (limited to 'jobs/build-acl2.run')
0 files changed, 0 insertions, 0 deletions