diff options
| author | Sam James <sam@gentoo.org> | 2024-04-10 18:33:55 +0100 |
|---|---|---|
| committer | Lasse Collin <lasse.collin@tukaani.org> | 2024-04-11 00:15:35 +0300 |
| commit | 73f629e321b74f68c9954728fa4f19261afccf46 (patch) | |
| tree | f3320520f228a5989c3f2a3b1f0e018d28dfb66a /dos | |
| parent | ci: build in parallel by default (diff) | |
| download | xz-73f629e321b74f68c9954728fa4f19261afccf46.tar.xz | |
ci: rename ci_build.sh -> ci_build.bash
We discussed the name and it's less cognitive load to just call it '.bash'
so you don't have an immediate question about if bashisms are OK.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions