aboutsummaryrefslogtreecommitdiff
path: root/jobs
AgeCommit message (Collapse)Author
2022-08-17learn-acl2.develop: Add learn-acl2.develop.Masaya Tojo
2022-08-17learn-acl2: Make executable.Masaya Tojo
2022-08-17learn-acl2: Add learn-acl2.Masaya Tojo
2022-07-16guix-gc: Fix guix-gc job.Masaya Tojo
2022-07-16guix-gc: Fix guix-gc job.Masaya Tojo
2022-07-16guix-gc: Updage guix-gc job.Masaya Tojo
2022-07-16guix-gc: Add.Masaya Tojo
2022-07-14Update bookshelf job.Masaya Tojo
2022-07-14Fix bookshelf job.Masaya Tojo
2022-07-14Add bookshelf job.Masaya Tojo
2021-12-20deploy-www-tojo-tokyo: Update.Masaya Tojo
2021-12-20deploy-test-tojo-tokyo: Update.Masaya Tojo
2021-12-20deploy-www-tojo-tokyo: test.Masaya Tojo
2021-12-20deploy-www-tojo-tokyo: test.Masaya Tojo
2021-12-20deploy-www-tojo-tokyo: test.Masaya Tojo
2021-09-20Remove 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-16vikalpa: Add vikalpa.develop job.Masaya Tojo
2021-09-16vikalpa: Add bootstrap and configure steps.Masaya Tojo
2021-09-16vikalpa: Make vikalpa.run executable.Masaya Tojo
2021-09-16Add vikalpa job.Masaya Tojo
2021-09-15check-backup-of-*: Update.Masaya Tojo
2021-09-14check-backup-of-jupyter-notebook: Update.Masaya Tojo
2021-09-14check-backup-of-jupyter-notebook: Update.Masaya Tojo
2021-09-14check-backup-of-nextcloud: Update.Masaya Tojo
2021-09-14check-backup-of-email: Update.Masaya Tojo
2021-09-14Add check-backup-of-email job.Masaya Tojo
2021-09-14ci: Remove build-acl2 job.Masaya Tojo
2021-09-14ci: Remove guix-operate job.Masaya Tojo
2021-09-14check-backup-of-nextcloud: Fix.Masaya Tojo
2021-09-14check-backup-of-nextcloud: Fix.Masaya Tojo
2021-09-14check-backup-of-jupyter-notebook: Update.Masaya Tojo
2021-09-14check-backup-of-nextcloud: Update.Masaya Tojo
2021-09-14check-backup-of-nextcloud: Add.Masaya Tojo
2021-09-14check-backup-of-jupyter-notebook: Fix checking method.Masaya Tojo
2021-09-14check-backup-of-jupyter-notebook: Rename from notebooks to jupyter-notebook.Masaya Tojo
2021-09-14guix-update: Build only acl2.Masaya Tojo
2021-09-14check-backup-of-notebooks: Rename job.Masaya Tojo
2021-09-14check-notebooks-backup: Edit a comment.Masaya Tojo
2021-09-14check-notebooks-backup: Append slash to url.Masaya Tojo
2021-09-14check-notebooks-backup: Display message when failed.Masaya Tojo
2021-09-14check-notebooks-backup: Add.Masaya Tojo
2021-09-09acl2-verify: Fix.Masaya Tojo
2021-09-09acl2-verify: Update.Masaya Tojo
2021-09-09acl2-verify: Update.Masaya Tojo
2021-09-09guix-update: Set timeout.Masaya Tojo
2021-09-09guix-operate: Update.Masaya Tojo
2021-09-09guix-operate: Update.Masaya Tojo
2021-09-09guix-operate: Update.Masaya Tojo
2021-09-09Add guix-operate.Masaya Tojo
2021-09-09build-acl2: Make executable.Masaya Tojo