aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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
2021-09-09Add build-acl2 job.Masaya Tojo
2021-09-08guix-update: Update.Masaya Tojo
2021-09-08guix-update: Update.Masaya Tojo
2021-09-08guix-update: Fix package name.Masaya Tojo
2021-09-08guix-update: Build acl2-kernel.Masaya Tojo
2021-08-29guix-update: Update.Masaya Tojo
2021-08-29guix-update: Add command to build acl2.Masaya Tojo
2021-08-29guix-update: Update.Masaya Tojo
2021-08-29Delete build-acl2 job and update guix-update job.Masaya Tojo
2021-08-29Add build-acl2 job.Masaya Tojo
2021-08-29guix-update: Make executable.Masaya Tojo
2021-08-29Add guix-update.run job.Masaya Tojo