diff options
| author | Jia Tan <jiat0218@gmail.com> | 2023-04-25 20:05:26 +0800 |
|---|---|---|
| committer | Jia Tan <jiat0218@gmail.com> | 2023-04-25 20:05:26 +0800 |
| commit | 16b81a057a87c2f18e6ed6447f003af0cbdcfe43 (patch) | |
| tree | 5062bfd936e427c87bedcfab1d92a49e97ca7eb7 /.github | |
| parent | Update THANKS. (diff) | |
| download | xz-16b81a057a87c2f18e6ed6447f003af0cbdcfe43.tar.xz | |
CI: ci_build.sh allows configuring small build.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions