diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-20 09:46:20 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-20 10:03:17 -0300 |
| commit | 7ffcd694068d484842be0b87a9aeeda0a7720568 (patch) | |
| tree | c2744d6661967f5a2c128528d6ed51739556d906 /src/infrastructure/scripts/report.sh | |
| parent | Makefile: Also upload managed SSH known_hosts file (diff) | |
| download | toph-7ffcd694068d484842be0b87a9aeeda0a7720568.tar.gz toph-7ffcd694068d484842be0b87a9aeeda0a7720568.tar.xz | |
Manage public SSH files as "extra-etc-file" instead of like a secret
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 7ffcd694068d484842be0b87a9aeeda0a7720568
git notes --ref=refs/notes/ci-data show 7ffcd694068d484842be0b87a9aeeda0a7720568
Exit status: 0
Duration: 15
Diffstat (limited to 'src/infrastructure/scripts/report.sh')
0 files changed, 0 insertions, 0 deletions