diff options
| author | flywind <43030857+xflywind@users.noreply.github.com> | 2022-07-12 09:05:50 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-12 09:05:50 +0800 |
| commit | d0bae989d63f91345cd0991e00502c05d18dbf6b (patch) | |
| tree | b798eca69a37a5d91d1ba2119d3c91a02941d9ac /tools | |
| parent | cf1c14936670ef0c175149f6fba4dffc1cf4ba43 (diff) | |
| download | Nim-d0bae989d63f91345cd0991e00502c05d18dbf6b.tar.gz | |
fix github script failure (#20006)
* yaml * pub * redo * let's comment * now action * newly * code name * build * ready * remove submodule * build * modify name * fix * rephrase * trigger when PR is merged * fix CI failure
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions