16 Commits

Author	SHA1	Message	Date
Philipp Oppermann	b1cca8de88	Merge branch 'post-04' into post-05	2019-02-25 16:37:18 +01:00
Philipp Oppermann	c6aaa66420	Merge branch 'post-03' into post-04	2019-02-25 16:35:03 +01:00
Philipp Oppermann	63f8f3a6eb	Merge branch 'post-01' into post-02	2019-02-25 16:34:15 +01:00
Philipp Oppermann	8c25133033	Check formatting on CI	2019-02-25 16:34:09 +01:00
Philipp Oppermann	d5cb74ac8b	We still need nighly Rust for the second and later posts	2019-02-07 16:14:58 +01:00
Philipp Oppermann	3bf2c66acc	Merge branch 'post-01' into post-02	2019-02-07 16:11:46 +01:00
Philipp Oppermann	db898133b8	Use stable Rust for building	2019-02-07 16:07:27 +01:00
nivkner	ea513af5ad	don't require nightly compiler from freestanding binary (#550)	2019-02-07 16:05:21 +01:00
Philipp Oppermann	99171b003e	Merge branch 'post-04' into post-05	2019-02-05 15:23:49 +01:00
Philipp Oppermann	a53f0573d8	Merge branch 'post-03' into post-04	2019-02-05 15:23:48 +01:00
Philipp Oppermann	0e6ffc1a4f	Merge branch 'post-01' into post-02	2019-02-05 15:23:48 +01:00
Philipp Oppermann	09ed317023	[CI] Directly print $BUILD_REQUESTEDFOR without case statement	2019-02-05 15:22:50 +01:00
Philipp Oppermann	f15bbaea3f	Update azure pipelines script for integration tests	2019-02-05 14:58:51 +01:00
Philipp Oppermann	b71e0644bf	Update azure pipelines script for unit testing post	2019-02-05 14:57:46 +01:00
Philipp Oppermann	57484164ab	Expand azure pipelines script for second post	2019-02-05 14:55:22 +01:00
Philipp Oppermann	6d07a311bd	Add CI script for azure pipelines	2019-02-05 14:52:58 +01:00