halb3 / auxiliaries / #14

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#14	main	update dev index	push	02 Mar 2022 08:13AM UTC	cgcostume		pending completion   set done
#13	main	cleanup config	push	01 Mar 2022 04:20PM UTC	cgcostume		pending completion   set done
#12	main	fix git-rev when .git does not exists	push	01 Mar 2022 04:16PM UTC	cgcostume		pending completion   set done
#11	main	refine prepare script	push	01 Mar 2022 04:01PM UTC	cgcostume		pending completion   set done
#10	main	minor review	push	14 Feb 2022 09:14AM UTC	cgcostume		pending completion   set done
#9	main	add serializable interface	push	11 Feb 2022 03:29AM UTC	cgcostume		pending completion   set done
#8	main	0.3.4	push	11 Feb 2022 03:08AM UTC	cgcostume		pending completion   set done
#7	main	refine deployment	push	11 Feb 2022 03:07AM UTC	cgcostume		pending completion   set done
#6	main	0.3.3	push	11 Feb 2022 02:22AM UTC	cgcostume		pending completion   set done
#5	main	make clearing altered optional	push	11 Feb 2022 02:15AM UTC	cgcostume		pending completion   set done
#4	main	add alterable interface	push	11 Feb 2022 02:12AM UTC	cgcostume		pending completion   set done
#3	pr-workflow-test	add alterable interface	push	11 Feb 2022 02:10AM UTC	cgcostume		pending completion   set done
#2		Merge c7b153a8f into 397212db2	push	11 Feb 2022 02:10AM UTC	web-flow		pending completion   set done
#1	main	adjustments w.r.t. the repo renaming	push	27 Jan 2022 12:00PM UTC	cgcostume		pending completion   set done