mlange-42 / ark-tools / 17951145463

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
17951145463	main	Improve performance of CSV reporters by buffering output (#15)	push	23 Sep 2025 03:29PM UTC	web-flow	github	96.89
17951079796	csv-buffers	Merge da265776e into 775a20d43	Pull #15	23 Sep 2025 03:27PM UTC	web-flow	github	96.89
17950950137	csv-buffers	Merge 093892d51 into 775a20d43	Pull #15	23 Sep 2025 03:25PM UTC	web-flow	github	96.89
17927134491	main	Fix wording in CHANGELOG (#14)	push	22 Sep 2025 08:08PM UTC	web-flow	github	97.02
17927109340	fix-changelog	Merge a17b35118 into bbb1e8183	Pull #14	22 Sep 2025 08:07PM UTC	web-flow	github	97.02
17926973800	main	Add option `Final` to CSV reporters (#13) Further, runs tests in a temporary directory.	push	22 Sep 2025 08:04PM UTC	web-flow	github	97.02
17926859274	final-reporters	Merge c0679f78a into fada94e80	Pull #13	22 Sep 2025 07:56PM UTC	web-flow	github	97.02
16803370137	main	Upgrade to Ark v0.4.3 (#12)	push	07 Aug 2025 11:37AM UTC	web-flow	github	98.44
16803343098	upgrade-ark	Merge 6479c6a2b into ea7fbd971	Pull #12	07 Aug 2025 11:36AM UTC	web-flow	github	98.44
16803299687	main	Ignore RNG source in JSON (#11)	push	07 Aug 2025 11:34AM UTC	web-flow	github	98.44
16803228363	ignore-rand-source	Merge 7ba37e603 into 0a5fc8bca	Pull #11	07 Aug 2025 11:30AM UTC	web-flow	github	98.44
14308556151	main	Use `Tick` resource for termination systems (#10)	push	07 Apr 2025 11:58AM UTC	web-flow	github	98.44
14308497784	termination	Merge b2d6018ba into 2a364ae46	Pull #10	07 Apr 2025 11:54AM UTC	web-flow	github	98.44
13944569950	main	Upgrade to Ark v0.4.0 (#9)	push	19 Mar 2025 10:42AM UTC	web-flow	github	98.44
13944510862	upgrade-ark	Merge cab21d7d8 into e50332bf3	Pull #9	19 Mar 2025 10:39AM UTC	web-flow	github	98.44

• ← Previous
• 1
• 2
• 3
• Next →