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.

Sign up for GitHub

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

Jump to bottom

Bugfixes: multiple projects open #402

Merged

iamdefinitelyahuman merged 2 commits into master from outside-project-fixes

Apr 11, 2020

Member

iamdefinitelyahuman commented Apr 11, 2020

What I did

Fix two bugs related to use of multiple projects at once.

Source highlights on contracts located outside of a project.
Coverage evaluation when tests touched contracts outside a project.

Thanks to @celioggr for bringing these to my attention.

iamdefinitelyahuman added 2 commits

April 11, 2020 15:42


          fix: source highlights for sources outside of a project

f13009d


          fix: coverage analysis across multiple projects

560432d

iamdefinitelyahuman merged commit ed880a8 into master

iamdefinitelyahuman deleted the outside-project-fixes branch

April 11, 2020 17:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet