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

Added instructions on adding elide to pom.xml. #10

Merged
merged 1 commit into from
Oct 19, 2015

Conversation

DennisMcWherter
Copy link
Collaborator

We should wait until our bintray has been integrated to jcenter before merging this in (so that it is mirrored on maven central). However, I have confirmed these artifacts work by pointing to our bintray repo.

@shadanan
Copy link
Contributor

👍

@yahoocla
Copy link

CLA is valid!

DennisMcWherter pushed a commit that referenced this pull request Oct 19, 2015
Added instructions on adding elide to pom.xml.
@DennisMcWherter DennisMcWherter merged commit cf4180d into master Oct 19, 2015
@DennisMcWherter DennisMcWherter deleted the updateReadme branch October 19, 2015 21:17
aklish pushed a commit that referenced this pull request Apr 20, 2024
* Added a step to model checking.Check if the annotated class collection obtained is empty.

* Added a test to model checking.

Solved some problems.

* Change the screwdriver to GitHub Actions. (#10)

The issue has been solved.

* Fixed the import statement.

* Test

* Test

* Replace ci-cd.yml with screwdriver.yaml.
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.

3 participants