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
2024-10-04
Add infix-to-prefix job
Masaya Tojo
2022-08-17
learn-acl2: Fix repository name.
Masaya Tojo
2022-08-17
learn-acl2: Refactor.
Masaya Tojo
2022-08-17
learn-acl2.develop: Add learn-acl2.develop.
Masaya Tojo
2022-08-17
learn-acl2: Make executable.
Masaya Tojo
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-09-20
Remove check-backup-of-* jobs.
Masaya Tojo
* check-backup-of-email.run: Remove file. * check-backup-of-jupyter-notebook.run: Remove file. * check-backup-of-nextcloud.run: Remove file.
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
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
[next]