server/src/infrastructure/ci, branch main Setup and configuration for VPS and other personal server http://euandre.org/git/server/atom?h=main 2024-08-18T21:26:58Z rm -rf src/infrastructure/{ci,config,scripts}/ 2024-08-18T21:26:58Z EuAndreh eu@euandre.org 2024-08-18T21:26:58Z urn:sha1:5cabb11e012365096bea22bbb5014dd031537c42 git-post-receive.sh: Add missing "$NAME" argument to log entry 2023-03-30T21:57:01Z EuAndreh eu@euandre.org 2023-03-30T21:57:01Z urn:sha1:09ea6e8c7ca715c8c30a0c8ed1eeda2039824e60 git-post-receive.sh: report s/finished/generated/ 2023-03-30T21:56:31Z EuAndreh eu@euandre.org 2023-03-30T21:56:31Z urn:sha1:81a3c91cb57d001cbe8d4e40e0d1da9ee2db03b7 git-post-receive.sh: Include project name in CI log entry 2023-03-30T21:55:51Z EuAndreh eu@euandre.org 2023-03-30T21:55:51Z urn:sha1:6dcbc7bb7dc6f86d0c49fcb1af273aecc7937d5e git-post-receive.sh: Notify start of CI HTML report 2023-03-30T21:53:25Z EuAndreh eu@euandre.org 2023-03-30T21:53:25Z urn:sha1:3d07836f91a70f769dc772d2351c52afb4b55f9e git-post-receive.sh: Include PID on syslogd entry 2023-03-30T21:51:34Z EuAndreh eu@euandre.org 2023-03-30T21:51:34Z urn:sha1:69f6cfb77773d46833be8a4040114545d07f8535 git-post-receive.sh: Notify when report generation ends 2023-03-30T21:45:48Z EuAndreh eu@euandre.org 2023-03-30T21:45:48Z urn:sha1:8c1592a410f7c35a782db725be522e9f16c94df1 git-post-receive.sh: Redirect STDOUT and STDERR so that the terminal SSH session can be terminated 2023-03-30T19:28:12Z EuAndreh eu@euandre.org 2023-03-30T19:28:12Z urn:sha1:bbd3940868c34a3ba4028e2bff4982aee0c4c2d6 git-post-receive.sh: Send CI report output to syslog over /dev/null 2023-03-30T19:02:42Z EuAndreh eu@euandre.org 2023-03-30T19:02:42Z urn:sha1:8cdf792b5d14295b44c0e4bb7753722f09382560 conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI} 2023-03-30T18:23:05Z EuAndreh eu@euandre.org 2023-03-30T18:23:05Z urn:sha1:fc15af22490d563be3f66186e95dbbc02401f112