Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix issue with executing multiple start contexts #167

Merged
merged 4 commits into from Oct 13, 2017

Conversation

nilols
Copy link
Member

@nilols nilols commented Oct 12, 2017

A start context is context with a defined start point, thus making it possible to execute

Currently the machine implementation will fail if it executes multiple start contexts at the same time, this PR will fix that by adding the possibility to switch to another unfinished start context when the current context is finished.

@codecov-io
Copy link

codecov-io commented Oct 12, 2017

Codecov Report

Merging #167 into master will decrease coverage by <.01%.
The diff coverage is 50%.

@@             Coverage Diff              @@
##             master     #167      +/-   ##
============================================
- Coverage     75.34%   75.34%   -0.01%     
- Complexity     1171     1175       +4     
============================================
  Files           125      125              
  Lines          4401     4404       +3     
  Branches        693      694       +1     
============================================
+ Hits           3316     3318       +2     
  Misses          854      854              
- Partials        231      232       +1

@KristianKarl-zz
Copy link
Contributor

👍

@nilols nilols merged commit c293234 into master Oct 13, 2017
@nilols nilols deleted the nilols/multiple-start-contexs branch October 13, 2017 09:51
@mairieli
Copy link

Hi @nilols ! I've noticed that you changed the configuration of codecov in this PR. I am researching how to develop better GitHub bots. Would you be willing to participate in my research, answering a few questions?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants