diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-27 08:32:49 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-27 08:32:49 -0300 |
| commit | ab742a1ebc61d571bb9d13d7692ef7e245bba192 (patch) | |
| tree | 0329573f78946daac6fa62802d189ca53ef2e809 /src/infrastructure/scripts/check.sh | |
| parent | Makefile: Rename "result" to "system" (diff) | |
| download | server-ab742a1ebc61d571bb9d13d7692ef7e245bba192.tar.gz server-ab742a1ebc61d571bb9d13d7692ef7e245bba192.tar.xz | |
Build HTML and install it via CI
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show ab742a1ebc61d571bb9d13d7692ef7e245bba192
git notes --ref=refs/notes/ci-data show ab742a1ebc61d571bb9d13d7692ef7e245bba192
Exit status: 0
Duration: 27
Diffstat (limited to 'src/infrastructure/scripts/check.sh')
0 files changed, 0 insertions, 0 deletions