diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-30 16:02:42 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-30 16:02:42 -0300 |
| commit | 8cdf792b5d14295b44c0e4bb7753722f09382560 (patch) | |
| tree | 73a6e8993aa27558cad00b5cdc8b06d9185da853 /src/development/lib.sh | |
| parent | reconfigure: Stop deleting CI directory again (diff) | |
| download | toph-8cdf792b5d14295b44c0e4bb7753722f09382560.tar.gz toph-8cdf792b5d14295b44c0e4bb7753722f09382560.tar.xz | |
git-post-receive.sh: Send CI report output to syslog over /dev/null
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 8cdf792b5d14295b44c0e4bb7753722f09382560
git notes --ref=refs/notes/ci-data show 8cdf792b5d14295b44c0e4bb7753722f09382560
Exit status: 0
Duration: 19
Diffstat (limited to 'src/development/lib.sh')
0 files changed, 0 insertions, 0 deletions