diff options
| author | Jia Tan <jiat0218@gmail.com> | 2023-02-01 21:43:33 +0800 |
|---|---|---|
| committer | Jia Tan <jiat0218@gmail.com> | 2023-02-01 21:47:35 +0800 |
| commit | 315c64c7e18acc59a745b68148188a73e998252b (patch) | |
| tree | 7759616d43f30395694ee34541de16a41d7ffab0 /.github | |
| parent | CI: Add quotes around variables in a few places. (diff) | |
| download | xz-315c64c7e18acc59a745b68148188a73e998252b.tar.xz | |
CI: Update .gitignore for artifacts directory in build-aux.
The workflow action for our CI pipeline can only reference artifacts in
the source directory, so we should ignore these files if the ci_build.sh
is run locally.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions