| Age | Commit message (Expand) | Author |
|---|
| 2021-08-22 | Add standard-52-card-deck job. | Masaya Tojo |
| 2021-08-21 | ci: Add blackjack jobs. | Masaya Tojo |
| 2021-08-03 | before: PATH を export するように修正•••. "$GUIX_PROFILE/etc/profile" の影響でたまたま動作していたが正しくない
ため
| Masaya Tojo |
| 2021-08-02 | www-tojo-tokyo: Follow test-tojo-tokyo's config. | Masaya Tojo |
| 2021-08-01 | Add GUIX_LOCPATH environment variable. | Masaya Tojo |
| 2021-08-01 | www-tojo-tokyo: Preserve GUIX_LOCPATH. | Masaya Tojo |
| 2021-08-01 | www-tojo-tokyo: Expose "~/.ssh". | Masaya Tojo |
| 2021-08-01 | www-tojo-tokyo: Allow network access. | Masaya Tojo |
| 2021-08-01 | www-tojo-tokyo: Fix commands name. | Masaya Tojo |
| 2021-08-01 | Fix urls. | Masaya Tojo |
| 2021-08-01 | Add deploy-www-tojo-tokyo job. | Masaya Tojo |
| 2021-08-01 | acl2-verify: Run ACL2 in a container. | Masaya Tojo |
| 2021-08-01 | Add sicp-acl2 job. | Masaya Tojo |
| 2021-08-01 | acl2-verify: Update. | Masaya Tojo |
| 2021-08-01 | acl2-theorems: Update `before` script. | Masaya Tojo |
| 2021-08-01 | acl2-theorems: Add newline into output. | Masaya Tojo |
| 2021-08-01 | acl2-theorems.develop: Fix config. | Masaya Tojo |
| 2021-08-01 | Update README.md. | Masaya Tojo |
| 2021-08-01 | Update README.md. | Masaya Tojo |
| 2021-08-01 | Add acl2-verify.develop job. | Masaya Tojo |
| 2021-08-01 | before: Add nss-certs settings. | Masaya Tojo |
| 2021-07-31 | acl2-theorems: Add messages about git. | Masaya Tojo |
| 2021-07-31 | acl2-theorems: Add newline to output. | Masaya Tojo |
| 2021-07-31 | acl2-theorems: Update messages. | Masaya Tojo |
| 2021-07-31 | acl2-theorems: Add messages. | Masaya Tojo |
| 2021-07-31 | acl2-verify: Use sbcl package. | Masaya Tojo |
| 2021-07-31 | acl2-theorems: Use run command. | Masaya Tojo |
| 2021-07-31 | Fix to absolute path. | Masaya Tojo |
| 2021-07-31 | Use pipefail. | Masaya Tojo |
| 2021-07-31 | Use pipefail. | Masaya Tojo |
| 2021-07-31 | Use `start` command. | Masaya Tojo |
| 2021-07-31 | Fix acl2-verify job. | Masaya Tojo |
| 2021-07-31 | Mark acl2-verify.run file as executable. | Masaya Tojo |
| 2021-07-31 | Fix acl2-verify job. | Masaya Tojo |
| 2021-07-31 | Update pull-cfg job. | Masaya Tojo |
| 2021-07-31 | Remvoe cfg directory. | Masaya Tojo |
| 2021-07-31 | Add `pull-cfg` job. | Masaya Tojo |
| 2021-07-31 | Add `acl2-theorems` job. | Masaya Tojo |
| 2021-07-31 | Add `before` script. | Masaya Tojo |
| 2021-07-31 | first commit. | Masaya Tojo |
