1443

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1443	master	Run docs CI workflow more often, but only deploy on master	push	23 Feb 2024 02:20AM UTC	sim642	github	61.84
1441	dune-runtest	Merge abcbe8dc0 into f2f5cc179	Pull #1367	22 Feb 2024 09:58AM UTC	web-flow	github	62.34
1440	semantic-loop-unrolling	Merge 21ad0e8e2 into f2f5cc179	Pull #1370	22 Feb 2024 08:48AM UTC	web-flow	github	61.62
1439	master	Merge pull request #1360 from goblint/cfg-test Add cram tests for CFGs	push	22 Feb 2024 02:23AM UTC	web-flow	github	61.84
1438	cfg-test	Merge 5e65e2299 into 3dc5fc627	Pull #1360	21 Feb 2024 04:23PM UTC	web-flow	github	61.84
1437	loop-unrolling-refactor	Merge 93bfa3b33 into 3dc5fc627	Pull #1369	21 Feb 2024 02:40PM UTC	web-flow	github	61.87
1436	loop-unrolling-refactor	Merge 7c80a6eae into 3dc5fc627	Pull #1369	21 Feb 2024 02:28PM UTC	web-flow	github	61.87
1435	loop-unrolling-refactor	Merge 2fb6b618c into 196e82f5a	Pull #1369	21 Feb 2024 09:58AM UTC	web-flow	github	61.86
1434	loop-unrolling-refactor	Merge bdebd1b92 into 196e82f5a	Pull #1369	21 Feb 2024 09:44AM UTC	web-flow	github	61.87
1433	loop-unrolling-refactor	Merge 2bfb5cba9 into 196e82f5a	Pull #1369	21 Feb 2024 09:36AM UTC	web-flow	github	61.87
1432	loop-unrolling-refactor	Merge c2e66e6f5 into 196e82f5a	Pull #1369	21 Feb 2024 09:27AM UTC	web-flow	github	61.87
1431	loop-unrolling-refactor	Merge 3f7d1dcf7 into 196e82f5a	Pull #1369	21 Feb 2024 08:49AM UTC	web-flow	github	61.87
1430	master	Merge branch 'ez-conf-lib-conflict'	push	21 Feb 2024 02:21AM UTC	sim642	github	61.89
1429	master	Merge pull request #1306 from goblint/dependabot/github_actions/actions/upload-pages-artifact-3 Bump actions/upload-pages-artifact from 2 to 3	push	20 Feb 2024 02:13AM UTC	web-flow	github	61.89
1422	make-cleanup	Merge cc3c733d2 into a35b1294f	Pull #1368	19 Feb 2024 08:57AM UTC	web-flow	github	61.88

← Previous
1
2
…
108
109
110
111
112
113
114
115
116
…
156
157
Next →