aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterguix-update: guix pull は常に1世代前までだけ残すようにするMasaya Tojo5 months
 
 
AgeCommit messageAuthor
2025-02-15guix-update: guix pull は常に1世代前までだけ残すようにする•••容量が厳しいため HEADmasterMasaya Tojo
2024-10-04Fix default branch name from `master` to `main`Masaya Tojo
2024-10-04Add infix-to-prefix jobMasaya Tojo
2022-08-17learn-acl2: Fix repository name.Masaya 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
[...]