Age | Commit message (Expand) | Author |
2021-09-09 | build-acl2: Make executable. | Masaya Tojo |
2021-09-09 | Add build-acl2 job. | Masaya Tojo |
2021-09-08 | guix-update: Update. | Masaya Tojo |
2021-09-08 | guix-update: Update. | Masaya Tojo |
2021-09-08 | guix-update: Fix package name. | Masaya Tojo |
2021-09-08 | guix-update: Build acl2-kernel. | Masaya Tojo |
2021-08-29 | guix-update: Update. | Masaya Tojo |
2021-08-29 | guix-update: Add command to build acl2. | Masaya Tojo |
2021-08-29 | guix-update: Update. | Masaya Tojo |
2021-08-29 | Delete build-acl2 job and update guix-update job. | Masaya Tojo |
2021-08-29 | Add build-acl2 job. | Masaya Tojo |
2021-08-29 | guix-update: Make executable. | Masaya Tojo |
2021-08-29 | Add guix-update.run job. | Masaya Tojo |
2021-08-22 | blackjack: Use submodule. | Masaya Tojo |
2021-08-22 | blackjack: Update. | Masaya Tojo |
2021-08-22 | standard-52-card-deck: Update. | Masaya Tojo |
2021-08-22 | standard-52-card-deck: Update. | Masaya Tojo |
2021-08-22 | standard-52-card-deck: Fix to build command. | Masaya Tojo |
2021-08-22 | standard-52-card-deck: Use make package. | Masaya Tojo |
2021-08-22 | standard-52-card-deck: Add make command. | Masaya Tojo |
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 |