remembering - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	aux/ci/git-post-receive.sh: Do not allow CI report to fail	EuAndreh	2023-04-01	1	-1/+1
\| \| \| \| \| \| \| \| \|	Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show e114e11d82d9287d2058ea8bd684199abd00be68 git notes --ref=refs/notes/ci-data show e114e11d82d9287d2058ea8bd684199abd00be68 Exit status: 2 Duration: 46
*	Revamp CI: simpler variant of the same functionality	EuAndreh	2023-04-01	5	-176/+414
\| \| \| \| \| \| \| \| \|	Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 1a3208d43f837768e18219ca4e79fe31bf748865 git notes --ref=refs/notes/ci-data show 1a3208d43f837768e18219ca4e79fe31bf748865 Exit status: 2 Duration: 4
*	aux/: Update	EuAndreh	2021-09-01	4	-30/+43
\|
*	aux/: Update	EuAndreh	2021-07-23	4	-14/+26
\|
*	aux/: Update, adapt Makefile accordingly	EuAndreh	2021-06-26	2	-3/+25
\|
*	Makefile, README.md: Adapt to changes in aux/	EuAndreh	2021-06-26	4	-14/+15
\|
*	aux/ci/report.sh: Don't override signatures notes ref	EuAndreh	2021-06-19	1	-1/+4
\|
*	aux/ci/report.sh: Add missing close quote	EuAndreh	2021-06-13	1	-1/+1
\|
*	aux/ci/report.sh: Add link to homepage on generated HTML	EuAndreh	2021-06-13	1	-3/+4
\|
*	aux/ci/report.sh: Include title in the generated HTML page	EuAndreh	2021-06-13	1	-0/+1
\|
*	aux/ci/ci-build.sh: Use -v on rsync	EuAndreh	2021-06-13	1	-1/+1
\|
*	Update files under aux/	EuAndreh	2021-06-07	2	-6/+10
\|
*	aux/: Use tabs over spaces for .sh files	EuAndreh	2021-06-06	4	-78/+78
\|
*	aux/: Add favicon to generated HTML files	EuAndreh	2021-06-06	1	-0/+1
\|
*	aux/ci/ci-build.sh: Run build target before tests, so we have HTML files ↵	EuAndreh	2021-03-23	1	-7/+1
\| \| \| \|	when tests fail
*	Revert change to aux/ci/ci-build.sh	EuAndreh	2021-03-10	1	-1/+1
\|
*	ci-build.sh: Publish CI logs even when "dev-check" fails	EuAndreh	2021-03-09	1	-1/+1
\|
*	ci-build.sh: Also omit output of second rsync	EuAndreh	2021-03-06	1	-1/+1
\|
*	Suppress rsync stderr from CI logs	EuAndreh	2021-03-06	1	-1/+1
\|
*	Add assert-changelog.sh; change dependency of check -> dev-check targets	EuAndreh	2021-02-28	1	-1/+1
\|
*	Update files under aux/ci/	EuAndreh	2021-02-25	2	-3/+3
\|
*	aux/ci/ci-build.sh: Don't --delete on trap to avoid deleting pages in case ↵	EuAndreh	2021-02-24	1	-1/+1
\| \| \| \|	of failure
*	aux/ci/ci-build.sh: Capture stderr properly	EuAndreh	2021-02-23	1	-1/+1
\|
*	aux/ci/ci-build.sh: Remove checking for ./configure file	EuAndreh	2021-02-23	1	-7/+1
\|
*	Update aux/ files	EuAndreh	2021-02-21	1	-0/+1
\|
*	report.sh: Remove set -x option	EuAndreh	2021-02-18	1	-1/+1
\|
*	Generate report.sh after CI finishes	EuAndreh	2021-02-18	2	-1/+8
\|
*	Update files under aux/	EuAndreh	2021-02-17	2	-7/+77
\|
*	aux/ci/: Use /srv over /data path	EuAndreh	2021-01-30	2	-4/+4
\|
*	aux/ci/ci-build.sh: Remove --enable-(ci\|programmer)-mode	EuAndreh	2021-01-30	1	-1/+1
\|
*	mv build-aux/ aux/	EuAndreh	2021-01-27	3	-0/+86