Skip to content

Run Maven build for pull requests#28

Merged
obriensystems merged 4 commits intomainfrom
codex/add-pre-merge-maven-build-step-to-github-workflow
Jun 8, 2025
Merged

Run Maven build for pull requests#28
obriensystems merged 4 commits intomainfrom
codex/add-pre-merge-maven-build-step-to-github-workflow

Conversation

@obriensystems
Copy link
Copy Markdown
Member

Summary

  • run workflow on PRs targeting main
  • only publish packages when a release is created

Testing

  • mvn -q -DskipTests package (fails: command not found)

https://chatgpt.com/codex/tasks/task_e_684581325ecc832eaac33b1e505e61ab

@obriensystems
Copy link
Copy Markdown
Member Author

adjust java release to 17 from 11

@obriensystems obriensystems self-assigned this Jun 8, 2025
@obriensystems obriensystems merged commit 9113eaa into main Jun 8, 2025
1 check passed
@obriensystems obriensystems deleted the codex/add-pre-merge-maven-build-step-to-github-workflow branch June 13, 2025 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant