chanzuckerberg / miniwdl / 129

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
129	master	Refine linters	push	14 Nov 2018 12:00AM UTC	mlin	travis-ci-com	pending completion   set done
129	master	Refine linters	push	14 Nov 2018 12:00AM UTC	mlin	travis-ci	pending completion   set done
128	master	Add some linters	push	13 Nov 2018 10:16PM UTC	mlin	travis-ci-com	pending completion   set done
128	master	Add some linters	push	13 Nov 2018 10:16PM UTC	mlin	travis-ci	pending completion   set done
127	master	Prevent name collisions for imports, tasks/workflows, declarations, and calls	push	13 Nov 2018 03:56AM UTC	mlin	travis-ci	pending completion   set done
127	master	Prevent name collisions for imports, tasks/workflows, declarations, and calls	push	13 Nov 2018 03:56AM UTC	mlin	travis-ci-com	pending completion   set done
126	master	Tighten type-checking of nonempty quanifier for arrays (#34) Closes #11	push	12 Nov 2018 02:30AM UTC	web-flow	travis-ci-com	pending completion   set done
126	master	Tighten type-checking of nonempty quanifier for arrays (#34) Closes #11	push	12 Nov 2018 02:30AM UTC	web-flow	travis-ci	pending completion   set done
125	mlin-tighten-nonempty-typechecking	Tighten type-checking of nonempty quanifier for arrays	Pull #34	12 Nov 2018 01:23AM UTC	web-flow	travis-ci-com	pending completion   set done
125	mlin-tighten-nonempty-typechecking	Tighten type-checking of nonempty quanifier for arrays	Pull #34	12 Nov 2018 01:23AM UTC	web-flow	travis-ci	pending completion   set done
124	mlin-tighten-nonempty-typechecking	Tighten type-checking of nonempty quanifier for arrays	push	12 Nov 2018 01:23AM UTC	mlin	travis-ci	pending completion   set done
124	mlin-tighten-nonempty-typechecking	Tighten type-checking of nonempty quanifier for arrays	push	12 Nov 2018 01:23AM UTC	mlin	travis-ci-com	pending completion   set done
123	mlin-tighten-nonempty-typechecking	Tighten type-checking of nonempty quanifier for arrays	push	12 Nov 2018 01:22AM UTC	mlin	travis-ci	pending completion   set done
123	mlin-tighten-nonempty-typechecking	Tighten type-checking of nonempty quanifier for arrays	push	12 Nov 2018 01:22AM UTC	mlin	travis-ci-com	pending completion   set done
122	master	Tighten checking of optional types (#33) Refine treatment of optional types so that `T?` does not in general satisfy `T` during type-checking. Test corpi seem to demand a couple of workarounds: 1. A declaration like `T? name = <expr>`satisfie...	push	11 Nov 2018 10:28AM UTC	web-flow	travis-ci-com	pending completion   set done

• ← Previous
• 1
• 2
• …
• 192
• 193
• 194
• 195
• 196
• 197
• 198
• 199
• 200
• …
• 208
• 209
• Next →