土山です PRをマージしてしまったらボタン自体なくなるかもしれません。 PRのページにボタンが出たと思います。次PR送る機会があればその時にお願いします。 2023年1月18日(水) 22:55 matsuo <zmats****@gmail*****>: > 松尾です。 > > > > *.zipと*pdb.zip を分けられそうな雰囲気がします。 > > > 可能でしょうか? > > > > 分割しました。 > > https://github.com/TeraTermProject/build/pull/3 > > ありがとうございます。 > > > あと、私の PR に対して workflow の実行が許可されていないみたいなので許可 > > お願いできますか? > > PR でボタンがあると思うので、それを押してもらえれば OK かと思います。 > > 添付画像の赤線の部分のボタンでしょうか?_______________________________________________ > ttssh2-dev mailing list > ttssh****@lists***** > https://lists.osdn.me/mailman/listinfo/ttssh2-dev > -------------- next part -------------- HTMLの添付ファイルを保管しました... URL: <https://lists.osdn.me/mailman/archives/ttssh2-dev/attachments/20230118/e779efac/attachment.html>
Tera Term