5 Commits (677ffc715c338bba2b1a157ada0ce9618ac71a16)

Author	SHA1	Message	Date
Dan Gohman	8fe9c630a6	[CI] Run make check after running the build.	6 years ago
Dan Gohman	d29a08f8db	Add a make check rule and run it from the CI script.	6 years ago
Pat Hickey	2bfea0cc96	Github Actions uploads built artifacts (#83) ... * build: put artifacts into dist/. workflow: upload contents of dist/. * review feedback * CI workflow: add comment explaining artifact name * checkout action to v1 * typo fix	6 years ago
Sam Clegg	3924bbd79e	github actions: pin checkout action to v1 (#85) ... master now contains a new v2 beta version of this action that no longer supports "submodules". We can update to v2 later once it stabilizes.	6 years ago
Pat Hickey	ac571d0fef	Switch to Github Actions CI (#82) ... * add github actions CI * delete azure pipelines CI	6 years ago