コンパイラ更新時など、WebUIからActionsを手動実行できるようにする

[lempiji]

プルリクエストのほうは色々調整が必要そうなのでまずはメインのところだけ有効にします。

[codecov-commenter]

Codecov Report

Merging #187 (280562a) into master (0b3107b) will not change coverage. The diff coverage is n/a.

:exclamation: Current head 280562a differs from pull request most recent head 5cfa3d1. Consider uploading reports for the commit 5cfa3d1 to get more accurate results

:mega: This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@           Coverage Diff           @@
##           master     #187   +/-   ##
=======================================
  Coverage   97.31%   97.31%           
=======================================
  Files          40       40           
  Lines        2123     2123           
=======================================
  Hits         2066     2066           
  Misses         57       57           

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more