aboutsummaryrefslogtreecommitdiff
path: root/jobs
AgeCommit message (Expand)Author
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
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
2021-08-22blackjack: Use submodule.Masaya Tojo
2021-08-22blackjack: Update.Masaya Tojo
2021-08-22standard-52-card-deck: Update.Masaya Tojo
2021-08-22standard-52-card-deck: Update.Masaya Tojo
2021-08-22standard-52-card-deck: Fix to build command.Masaya Tojo
2021-08-22standard-52-card-deck: Use make package.Masaya Tojo
2021-08-22standard-52-card-deck: Add make command.Masaya Tojo
2021-08-22Add standard-52-card-deck job.Masaya Tojo
2021-08-21ci: Add blackjack jobs.Masaya Tojo
2021-08-02www-tojo-tokyo: Follow test-tojo-tokyo's config.Masaya Tojo
2021-08-01Add GUIX_LOCPATH environment variable.Masaya Tojo
2021-08-01www-tojo-tokyo: Preserve GUIX_LOCPATH.Masaya Tojo
2021-08-01www-tojo-tokyo: Expose "~/.ssh".Masaya Tojo
2021-08-01www-tojo-tokyo: Allow network access.Masaya Tojo