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

Update list of publications in README #283

Merged
merged 1 commit into from Dec 23, 2018

Conversation

1 participant
@smarr
Copy link
Owner

commented Dec 22, 2018

No description provided.

@smarr smarr added the enhancement label Dec 22, 2018

@smarr smarr added this to the v0.7.0 milestone Dec 22, 2018

@smarr smarr self-assigned this Dec 22, 2018

@smarr smarr added this to Open Issues in Completeness via automation Dec 22, 2018

Update list of publications in README
Signed-off-by: Stefan Marr <git@stefan-marr.de>

@smarr smarr force-pushed the update-publication-list branch from 9efe47e to 9db1fa2 Dec 22, 2018

@smarr smarr merged commit 8f48808 into dev Dec 23, 2018

5 checks passed

Codacy/PR Quality Review Up to standards. A positive pull request.
Details
ci/gitlab/git.cs.kent.ac.uk Pipeline passed on GitLab
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
coverage/coveralls Coverage remained the same at 76.582%
Details

Completeness automation moved this from Open Issues to Completed Dec 23, 2018

@smarr smarr deleted the update-publication-list branch Dec 23, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.