Skip to content
This repository has been archived by the owner on Mar 31, 2023. It is now read-only.

Make CI more useful for 3rd-party PRs #254

Open
bboreham opened this issue Jun 30, 2020 · 0 comments
Open

Make CI more useful for 3rd-party PRs #254

bboreham opened this issue Jun 30, 2020 · 0 comments
Labels
build An issue concerning compilation, testing, packaging, distribution

Comments

@bboreham
Copy link
Contributor

Currently the VM-based tests silently succeed, which optimises for contributor feel-good, but is not so good when those PRs get merged with a flaw.
@bboreham bboreham added the build An issue concerning compilation, testing, packaging, distribution label Jun 30, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
build An issue concerning compilation, testing, packaging, distribution
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bboreham