1357

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1357	tail-or	Don't instrument e' in e && e' if in tail position	push	03 Feb 2021 01:26PM UTC	aantron	travis-ci	pending completion set done
1353	master	Remove version link from README [skip ci]	cron	10 Jan 2021 01:36PM UTC	aantron	travis-ci	pending completion set done
1352	binaries	Binaries for 'linux'	push	10 Dec 2020 10:56PM UTC	aantron	travis-ci	pending completion set done
1350	master	Remove version link from README [skip ci]	cron	10 Dec 2020 02:53PM UTC	aantron	travis-ci	pending completion set done
1349	binaries	Binaries for 'linux'	push	10 Nov 2020 09:07PM UTC	aantron	travis-ci	pending completion set done
1348	master	Remove version link from README [skip ci]	cron	10 Nov 2020 02:52PM UTC	aantron	travis-ci	pending completion set done
1347	binaries	Binaries for 'linux'	push	04 Nov 2020 01:50AM UTC	aantron	travis-ci	pending completion set done
1346	master	Remove stray debugging commands from tests	push	03 Nov 2020 11:00PM UTC	aantron	travis-ci	pending completion set done
1345	binaries	Binaries for 'linux'	push	03 Nov 2020 08:08PM UTC	aantron	travis-ci	pending completion set done
1344	devel-2	Remove stray debugging commands from tests	push	03 Nov 2020 05:06PM UTC	aantron	travis-ci	pending completion set done
1343	master	Adjust whitespace after preceding commit	push	03 Nov 2020 02:45PM UTC	aantron	travis-ci	pending completion set done
1342	gadt-325	New pattern instrumenter; avoids as-patterns	push	03 Nov 2020 01:04PM UTC	aantron	travis-ci	pending completion set done
1338	gadt-325	s/option_map/Option.map/	push	02 Nov 2020 07:04AM UTC	aantron	travis-ci	pending completion set done
1337	binaries	Binaries for 'macos'	push	31 Oct 2020 07:55PM UTC	aantron	travis-ci	pending completion set done
1336	master	Travis: use opam 2.0.7	push	31 Oct 2020 07:39PM UTC	aantron	travis-ci	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
…
28
29
Next →