aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2022-08-17learn-acl2: Fix repository name.HEADmasterMasaya Tojo
2022-08-17learn-acl2: Refactor.Masaya Tojo
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-12-20before: Update.Masaya Tojo
2021-12-20before: Set locale.Masaya Tojo
2021-12-20env: Update.Masaya Tojo
2021-12-20env: Update.Masaya Tojo
2021-09-20Remove check-backup-of-* jobs.Masaya Tojo
2021-09-20Add env file.Masaya Tojo
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-14after: Update.Masaya Tojo
2021-09-14after: Modify message.Masaya Tojo
2021-09-14Add after job.Masaya Tojo
2021-09-14ci: Remove build-acl2 job.Masaya Tojo
2021-09-14ci: Remove guix-operate job.Masaya Tojo
2021-09-14ci: Hide env file.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