search

klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

Added 2019 team and maintainer info to AUTHORS file. #134

Closed ccadar closed 5 years ago

ccadar commented 5 years ago

@Denis-Gavrielov if you'd like to help maintain the project going forward, I'd be delighted to add you in that role too.

andronat commented 5 years ago

@ccadar I think you need to disable the ci/cirlceci: build as we don't have a workflow setup in klee's circleci. You can do this as shown here. The ci/cirlceci should run everything.

Denis-Gavrielov commented 5 years ago

@ccadar sure, I would be happy to help out and especially ensure that the changes around my dissertation are approved going forward.

ccadar commented 5 years ago

@andronat thanks -- somehow I understood from @Denis-Gavrielov that the ci/circleci: build needs to be checked. I now switched to ci/circleci

ccadar commented 5 years ago

@Denis-Gavrielov great! I'll then add you to the maintainers list, and resubmit my patch.

ccadar commented 5 years ago

@Denis-Gavrielov and/or @andronat if you're happy with this, can you approve it and merge it?