ci.git, branch master
ci.tojo.tokyo の CI の設定
http://git.tojo.tokyo/ci.git/atom?h=master
2025-02-14T15:40:10Z
guix-update: guix pull は常に1世代前までだけ残すようにする
2025-02-14T15:40:10Z
Masaya Tojo
masaya@tojo.tokyo
2025-02-14T15:40:10Z
urn:sha1:28dcdb792f7a0df577037566f08991fa3a6c936d
容量が厳しいため
Fix default branch name from `master` to `main`
2024-10-03T17:37:00Z
Masaya Tojo
masaya@tojo.tokyo
2024-10-03T17:37:00Z
urn:sha1:b0a6fb7e102a037fe6a86d0281d175408581522d
Add infix-to-prefix job
2024-10-03T17:34:01Z
Masaya Tojo
masaya@tojo.tokyo
2024-10-03T17:33:49Z
urn:sha1:5924286f6bf5618597977f22be1937ea6ce1ec62
learn-acl2: Fix repository name.
2022-08-17T06:55:28Z
Masaya Tojo
masaya@tojo.tokyo
2022-08-17T06:55:28Z
urn:sha1:cdaf8688594dc0e2e46ff9e5caa2ff5a137c2f23
learn-acl2: Refactor.
2022-08-17T06:52:46Z
Masaya Tojo
masaya@tojo.tokyo
2022-08-17T06:52:46Z
urn:sha1:1e0d876e49c767532e73c7afdaafa03b9cb0e416
learn-acl2.develop: Add learn-acl2.develop.
2022-08-17T06:51:13Z
Masaya Tojo
masaya@tojo.tokyo
2022-08-17T06:51:13Z
urn:sha1:3a6e90b3b43c27869d9df6e2b174e1d7c05009d6
learn-acl2: Make executable.
2022-08-17T06:49:24Z
Masaya Tojo
masaya@tojo.tokyo
2022-08-17T06:49:24Z
urn:sha1:4c49b85c5dc202b6335bd3544c8ce3833409895e
learn-acl2: Add learn-acl2.
2022-08-17T06:46:48Z
Masaya Tojo
masaya@tojo.tokyo
2022-08-17T06:46:48Z
urn:sha1:5cbe31b305a1d3e1f439f437dae56487964a2e25
guix-gc: Fix guix-gc job.
2022-07-16T07:29:55Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-16T07:29:55Z
urn:sha1:20d480520a6a170d86401a808ee3633df578c71a
guix-gc: Fix guix-gc job.
2022-07-16T06:50:04Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-16T06:50:04Z
urn:sha1:3098e05f431bcd3fa45f762db8e60c43cf191914