11786

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
11786	mh/BuildPackages-NormalizInterface	Merge 59c35ca52 into 0c4da2524	Pull #3968	19 Apr 2020 12:14AM UTC	web-flow	travis-ci	pending completion set done
11784	mh/install-gaproot	Merge ec10e2390 into 0c4da2524	Pull #3967	18 Apr 2020 11:38PM UTC	web-flow	travis-ci	pending completion set done
11783	master	BuildPackages.sh: run prerequisites.sh if present This script is used by Semigroups. While it doesn't do anything for released versions of the package (as far as I can tell), it seems sensible to run it here. This way then, we can e.g. simplify s...	push	18 Apr 2020 03:56PM UTC	wilfwilson	travis-ci	pending completion set done
11782	mh/s390x-4.11	Merge 7bc16609d into 523a034b2	Pull #3966	18 Apr 2020 08:43AM UTC	web-flow	travis-ci	pending completion set done
11781	mh/s390x	Merge c1f6ee63c into 1ea7bc24c	Pull #3744	18 Apr 2020 08:03AM UTC	web-flow	travis-ci	pending completion set done
11780	master	BuildPackages.sh: add --with-gap option We call gap to parse PackageInfo.g files. To do so, so far we called $GAPROOT/gap. But that does not work reliably with out-of-tree builds; instead $GAPROOT/bin/gap.sh should be called (which we now do by d...	push	17 Apr 2020 11:19PM UTC	fingolfin	travis-ci	pending completion set done
11778	mh/s390x-4.11	Merge 0956ce683 into 523a034b2	Pull #3966	17 Apr 2020 01:57AM UTC	web-flow	travis-ci	pending completion set done
11775	mh/s390x	Merge d24a4e8eb into 920b06409	Pull #3744	17 Apr 2020 12:04AM UTC	web-flow	travis-ci	pending completion set done
11771	mh/s390x	Merge e433dd389 into 920b06409	Pull #3744	16 Apr 2020 02:59PM UTC	web-flow	travis-ci	pending completion set done
11770	mh/fix-gasman-aarch64	Merge 1ff2a165e into 920b06409	Pull #3965	16 Apr 2020 02:33PM UTC	web-flow	travis-ci	pending completion set done
11769	mh/BuildPackages.sh	Merge 095bbbf6f into 920b06409	Pull #3964	16 Apr 2020 01:45PM UTC	web-flow	travis-ci	pending completion set done
11767	cache_packages	Merge a29a2cf84 into 920b06409	Pull #3947	16 Apr 2020 10:45AM UTC	web-flow	travis-ci	pending completion set done
11760	gzip	Merge 18edec562 into 920b06409	Pull #3963	15 Apr 2020 03:40PM UTC	web-flow	travis-ci	pending completion set done
11756	cache_packages	Merge 7047125b2 into 920b06409	Pull #3947	15 Apr 2020 02:03PM UTC	web-flow	travis-ci	pending completion set done
11752	gzip	Merge 7f00fcece into 920b06409	Pull #3963	15 Apr 2020 01:01PM UTC	web-flow	travis-ci	pending completion set done

← Previous
1
2
…
23
24
25
26
27
28
29
30
31
…
145
146
Next →