1585

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1585	shell	comment out unused code	push	23 Aug 2020 08:46PM UTC	mkroetzsch	travis-ci	pending completion set done
1583	shell	use new result printing facilities	push	23 Aug 2020 08:26PM UTC	mkroetzsch	travis-ci	pending completion set done
1584	shell	Merge 972d0894c into 6b792094b	Pull #181	23 Aug 2020 08:26PM UTC	web-flow	travis-ci	pending completion set done
1581	shell	remove useless methods the command parsing method of Interpreter is usually preferable	push	23 Aug 2020 08:14PM UTC	mkroetzsch	travis-ci	pending completion set done
1582	shell	Merge 016615971 into 6b792094b	Pull #181	23 Aug 2020 08:14PM UTC	web-flow	travis-ci	pending completion set done
1580	shell	Merge 308009586 into 6b792094b	Pull #181	23 Aug 2020 07:46PM UTC	web-flow	travis-ci	pending completion set done
1579	shell	include commands in coverage	push	23 Aug 2020 07:46PM UTC	mkroetzsch	travis-ci	pending completion set done
1578	shell	Merge 0e367daf3 into 6b792094b	Pull #181	23 Aug 2020 07:41PM UTC	web-flow	travis-ci	pending completion set done
1577	shell	yet more tests	push	23 Aug 2020 07:40PM UTC	mkroetzsch	travis-ci	pending completion set done
1576	shell	Merge 436d10e96 into 6b792094b	Pull #181	23 Aug 2020 04:31PM UTC	web-flow	travis-ci	pending completion set done
1575	shell	more unit tests	push	23 Aug 2020 04:31PM UTC	mkroetzsch	travis-ci	pending completion set done
1573	shell	support exporting infernces and kbs	push	23 Aug 2020 10:21AM UTC	mkroetzsch	travis-ci	pending completion set done
1574	shell	Merge 0be1d8a04 into 6b792094b	Pull #181	23 Aug 2020 10:20AM UTC	web-flow	travis-ci	pending completion set done
1572	shell	Merge f83768fc6 into 6b792094b	Pull #181	23 Aug 2020 09:30AM UTC	web-flow	travis-ci	pending completion set done
1571	shell	correct help message	push	23 Aug 2020 09:28AM UTC	mkroetzsch	travis-ci	pending completion set done

← Previous
1
2
…
22
23
24
25
26
27
28
29
30
31
32
33
Next →