Skip to content

chore: add maven source plugin for debugging purposes #3

Closed
raghav-deepsource wants to merge 7 commits intomasterfrom
maven_source
Closed

chore: add maven source plugin for debugging purposes #3
raghav-deepsource wants to merge 7 commits intomasterfrom
maven_source

Conversation

@raghav-deepsource
Copy link

Also rebases on upstream master.

renovate bot and others added 6 commits November 4, 2022 13:53
…-plugin to v3.0.0-m7 (INRIA#4996)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
…ind to v2.14.0 (INRIA#4999)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
…1.22 (INRIA#4994)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Comment on lines +256 to +267
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-source-plugin</artifactId>
<executions>
<execution>
<id>attach-sources</id>
<goals>
<goal>jar</goal>
</goals>
</execution>
</executions>
</plugin>
Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-source-plugin</artifactId>
<executions>
<execution>
<id>attach-sources</id>
<goals>
<goal>jar</goal>
</goals>
</execution>
</executions>
</plugin>

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.

2 participants