 Taiki Endo
|
38c7691f46
|
Update scripts
|
2025-02-21 23:48:30 +09:00 |
|
|
Taiki Endo
|
9469185794
|
Format shell scripts with indent_size = 2 to match scripts in CI config
|
2025-01-17 16:44:56 +09:00 |
|
|
Taiki Endo
|
84ccb7b697
|
ci: Clean up scripts
|
2025-01-03 00:54:42 +09:00 |
|
|
Taiki Endo
|
7d0442ab06
|
Set errtrace in scripts
|
2023-09-30 10:42:06 +09:00 |
|
|
Taiki Endo
|
f0c993f6eb
|
Tweak scripts
|
2023-08-10 21:39:38 +09:00 |
|
|
Taiki Endo
|
405b1cf48c
|
Auto-generate tool list for CI
|
2023-07-31 22:13:13 +09:00 |
|
|
Taiki Endo
|
d7346df193
|
Move CI script from ci to tools/ci
|
2023-07-19 03:21:43 +09:00 |
|