index
:
ci.git
master
ci.tojo.tokyo の CI の設定
Masaya Tojo
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
jobs
Age
Commit message (
Collapse
)
Author
2021-09-14
ci: Remove build-acl2 job.
Masaya Tojo
2021-09-14
ci: Remove guix-operate job.
Masaya Tojo
2021-09-14
check-backup-of-nextcloud: Fix.
Masaya Tojo
2021-09-14
check-backup-of-nextcloud: Fix.
Masaya Tojo
2021-09-14
check-backup-of-jupyter-notebook: Update.
Masaya Tojo
2021-09-14
check-backup-of-nextcloud: Update.
Masaya Tojo
2021-09-14
check-backup-of-nextcloud: Add.
Masaya Tojo
2021-09-14
check-backup-of-jupyter-notebook: Fix checking method.
Masaya Tojo
2021-09-14
check-backup-of-jupyter-notebook: Rename from notebooks to jupyter-notebook.
Masaya Tojo
2021-09-14
guix-update: Build only acl2.
Masaya Tojo
2021-09-14
check-backup-of-notebooks: Rename job.
Masaya Tojo
2021-09-14
check-notebooks-backup: Edit a comment.
Masaya Tojo
2021-09-14
check-notebooks-backup: Append slash to url.
Masaya Tojo
2021-09-14
check-notebooks-backup: Display message when failed.
Masaya Tojo
2021-09-14
check-notebooks-backup: Add.
Masaya Tojo
2021-09-09
acl2-verify: Fix.
Masaya Tojo
2021-09-09
acl2-verify: Update.
Masaya Tojo
2021-09-09
acl2-verify: Update.
Masaya Tojo
2021-09-09
guix-update: Set timeout.
Masaya Tojo
2021-09-09
guix-operate: Update.
Masaya Tojo
2021-09-09
guix-operate: Update.
Masaya Tojo
2021-09-09
guix-operate: Update.
Masaya Tojo
2021-09-09
Add guix-operate.
Masaya Tojo
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-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
[next]