12211

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
12211	TB_pager	Merge 58db76f0e into 3c9e451b9	Pull #4101	19 Aug 2020 01:56PM UTC	web-flow	travis-ci	pending completion set done
12203	mh/cli-tst-arg	Merge 859d8e848 into 3c9e451b9	Pull #4099	11 Aug 2020 11:36AM UTC	web-flow	travis-ci	pending completion set done
12202	master	kernel: don't call CloseInput in READ_AS_FUNC ... to ensure that all CloseInput() calls are in the same function as the corresponding OpenInput/OpenInputStream invocation.	push	11 Aug 2020 10:35AM UTC	fingolfin	travis-ci	pending completion set done
12200	master	Minor fixes and performance enhancements (#4095) * FIX: SemidirectProduct case of trivial groups. Need to give identity element in addition to generators. Ditto for related uses. This closes #4089 * ENHANCE: More efforts on automorphism...	push	10 Aug 2020 04:05PM UTC	web-flow	travis-ci	pending completion set done
12199	additions	Merge 1dcbc7ce4 into da9fc5c80	Pull #4095	08 Aug 2020 05:23PM UTC	web-flow	travis-ci	pending completion set done
12197	mh/stream	Merge 7804e554c into da9fc5c80	Pull #4092	07 Aug 2020 11:18PM UTC	web-flow	travis-ci	pending completion set done
6327	master	kernel: update SyntaxError/SyntaxWarning comments	push	07 Aug 2020 11:56AM UTC	fingolfin	travis-ci	pending completion set done
12188	additions	Merge 8d1c5ee98 into da9fc5c80	Pull #4095	06 Aug 2020 10:27PM UTC	web-flow	travis-ci	pending completion set done
12186	additions	Merge 2d89ab600 into da9fc5c80	Pull #4095	06 Aug 2020 05:57PM UTC	web-flow	travis-ci	pending completion set done
12185	master	Remove references to dev/Updates; update dev manual The dev manual still is heavily outdated, but at least now slightly less so. Of course we still need to ask ourselves if we want to document e.g. the website maintenance process in there; or in ...	push	06 Aug 2020 04:07PM UTC	fingolfin	travis-ci	pending completion set done
12184	mh/dev-updates	Merge 68d141c1f into 8ccadf710	Pull #4093	05 Aug 2020 09:22PM UTC	web-flow	travis-ci	pending completion set done
12174	mh/remove-State-In	Merge fa8b127de into b177e01fa	Pull #4091	04 Aug 2020 01:55PM UTC	web-flow	travis-ci	pending completion set done
12171	mh/make-check	Merge a0f2f783e into b177e01fa	Pull #4090	04 Aug 2020 12:24PM UTC	web-flow	travis-ci	pending completion set done
12170	master	kernel: remove access to IO()->Input from GetLine2()	push	04 Aug 2020 11:06AM UTC	fingolfin	travis-ci	pending completion set done
12169	mh/julia-no-struct-access	Merge 51bb7c3ac into c7696ae2b	Pull #4086	31 Jul 2020 11:56PM UTC	web-flow	travis-ci	pending completion set done

← Previous
1
2
…
5
6
7
8
9
10
11
12
13
…
145
146
Next →