3853

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
3853	violation_witnesses	Merge 852f546af into 270caa0fe	Pull #1882	27 Nov 2025 11:59AM UTC	web-flow	github	pending completion set done
3852	violation_witnesses	Merge 275d60b2f into 270caa0fe	Pull #1882	27 Nov 2025 11:46AM UTC	web-flow	github	61.18
3851	master	Add x-maintenance-intent	push	27 Nov 2025 03:08AM UTC	sim642	github	61.52
3850	v2.7.0-metadata	Merge 09cf0c08d into 526af7511	Pull #1881	26 Nov 2025 09:13AM UTC	web-flow	github	61.52
3848	v2.7.0-metadata	Merge 07e8835d9 into 526af7511	Pull #1881	26 Nov 2025 08:51AM UTC	web-flow	github	61.52
3847	master	Add x-maintenance-intent	push	26 Nov 2025 03:12AM UTC	sim642	github	61.52
3846	master	Add x-maintenance-intent	push	25 Nov 2025 03:13AM UTC	sim642	github	61.52
3845	master	Add x-maintenance-intent	push	24 Nov 2025 03:20AM UTC	sim642	github	61.52
3843	master	Add x-maintenance-intent	push	23 Nov 2025 03:26AM UTC	sim642	github	61.52
3842	master	Add x-maintenance-intent	push	22 Nov 2025 03:01AM UTC	sim642	github	61.52
3841	channel-with	Merge 411208624 into 526af7511	Pull #1880	21 Nov 2025 05:40PM UTC	web-flow	github	61.52
3839	narrowing-gas	Merge 514df801a into 10ccccab2	Pull #1879	21 Nov 2025 09:55AM UTC	web-flow	github	61.51
3838	narrowing-gas	Merge 4ae786f85 into 10ccccab2	Pull #1879	21 Nov 2025 09:54AM UTC	web-flow	github	61.51
3837	master	Add initial CHANGELOG for v2.7.0	push	21 Nov 2025 03:07AM UTC	sim642	github	61.52
3830	master	Merge pull request #1877 from goblint/svcomp26portfolio-nov18 fine tuning of portfolios	push	20 Nov 2025 03:06AM UTC	web-flow	github	61.52

← Previous
1
2
3
4
5
6
7
8
9
…
150
151
Next →