index
:
ci.git
master
ci.tojo.tokyo の CI の設定
Masaya Tojo
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2022-08-17
learn-acl2: Add learn-acl2.
Masaya Tojo
2022-07-16
guix-gc: Fix guix-gc job.
Masaya Tojo
2022-07-16
guix-gc: Fix guix-gc job.
Masaya Tojo
2022-07-16
guix-gc: Updage guix-gc job.
Masaya Tojo
2022-07-16
guix-gc: Add.
Masaya Tojo
2022-07-14
Update bookshelf job.
Masaya Tojo
2022-07-14
Fix bookshelf job.
Masaya Tojo
2022-07-14
Add bookshelf job.
Masaya Tojo
2021-12-20
deploy-www-tojo-tokyo: Update.
Masaya Tojo
2021-12-20
deploy-test-tojo-tokyo: Update.
Masaya Tojo
2021-12-20
deploy-www-tojo-tokyo: test.
Masaya Tojo
2021-12-20
deploy-www-tojo-tokyo: test.
Masaya Tojo
2021-12-20
deploy-www-tojo-tokyo: test.
Masaya Tojo
2021-12-20
before: Update.
Masaya Tojo
2021-12-20
before: Set locale.
Masaya Tojo
2021-12-20
env: Update.
Masaya Tojo
2021-12-20
env: Update.
Masaya Tojo
2021-09-20
Remove check-backup-of-* jobs.
...
Masaya Tojo
2021-09-20
Add env file.
...
Masaya Tojo
2021-09-16
vikalpa: Add vikalpa.develop job.
Masaya Tojo
2021-09-16
vikalpa: Add bootstrap and configure steps.
Masaya Tojo
2021-09-16
vikalpa: Make vikalpa.run executable.
Masaya Tojo
2021-09-16
Add vikalpa job.
Masaya Tojo
2021-09-15
check-backup-of-*: Update.
Masaya Tojo
2021-09-14
check-backup-of-jupyter-notebook: Update.
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-email: Update.
Masaya Tojo
2021-09-14
Add check-backup-of-email job.
Masaya Tojo
2021-09-14
after: Update.
Masaya Tojo
2021-09-14
after: Modify message.
Masaya Tojo
2021-09-14
Add after job.
Masaya Tojo
2021-09-14
ci: Remove build-acl2 job.
Masaya Tojo
2021-09-14
ci: Remove guix-operate job.
Masaya Tojo
2021-09-14
ci: Hide env file.
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
[next]