2021-08-12 8/9(月) 何か休み。月曜休みだとやっぱ違和感あるな。世間的にはお盆休みの期間らしい。関係無いが。obtの改良に対するやる気が出たのでCI直したり色々してた。更新機能までは頑張ってやろう。