3880

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
3880	master	Add missing bisect_ppx instrumentation	push	02 Dec 2025 03:15AM UTC	sim642	github	61.3
3879	arg-uncil-ambiguous	Merge c630eae00 into 577110da5	Pull #1886	01 Dec 2025 03:36PM UTC	web-flow	github	61.32
3878	violation_witnesses	Merge 0db8feaf2 into 577110da5	Pull #1882	01 Dec 2025 03:24PM UTC	web-flow	github	60.97
3877	violation_witnesses	Merge 4640382e4 into 577110da5	Pull #1882	01 Dec 2025 12:55PM UTC	web-flow	github	60.97
3876	violation_witnesses	Merge 0f8b387ae into 577110da5	Pull #1882	01 Dec 2025 12:31PM UTC	web-flow	github	60.97
3875	dbg-regression	Merge 916913ad6 into 577110da5	Pull #1889	01 Dec 2025 12:11PM UTC	web-flow	github	61.32
3874	cram_coverage	Merge 6a857ab20 into 577110da5	Pull #1887	01 Dec 2025 12:03PM UTC	web-flow	github	65.36
3871	master	Add back useAfterFree safety flag type (PR #1864) This must've accidentally gotten lost in PR #1864 when Free was not distinguished at first.	push	01 Dec 2025 03:37AM UTC	sim642	github	61.52
3870	master	Add back useAfterFree safety flag type (PR #1864) This must've accidentally gotten lost in PR #1864 when Free was not distinguished at first.	push	30 Nov 2025 03:26AM UTC	sim642	github	61.52
3869	master	Add back useAfterFree safety flag type (PR #1864) This must've accidentally gotten lost in PR #1864 when Free was not distinguished at first.	push	29 Nov 2025 03:07AM UTC	sim642	github	61.52
3868	cram_coverage	Merge 19fc4fcd0 into 27db736b4	Pull #1887	28 Nov 2025 03:29PM UTC	web-flow	github	65.61
3866	arg-uncil-ambiguous	Merge f85449f2e into 27db736b4	Pull #1886	28 Nov 2025 02:26PM UTC	web-flow	github	61.55
3865	violation_witnesses	Merge ca40482dc into 27db736b4	Pull #1882	28 Nov 2025 02:17PM UTC	web-flow	github	61.18
3863	arg-uncil-ambiguous	Merge 0cac26daf into 27db736b4	Pull #1886	28 Nov 2025 01:52PM UTC	web-flow	github	61.53
3862	violation_witnesses	Merge bb3d69671 into 27db736b4	Pull #1882	28 Nov 2025 12:54PM UTC	web-flow	github	61.18

← Previous
1
2
3
4
5
6
7
8
9
…
152
153
Next →