Skip to content

chore: update CircleCI config#172

Merged
DavidH-1 merged 1 commit intodevfrom
ci/mt-circleci-bulk-processor
Mar 12, 2026
Merged

chore: update CircleCI config#172
DavidH-1 merged 1 commit intodevfrom
ci/mt-circleci-bulk-processor

Conversation

@tdaly61
Copy link
Copy Markdown

@tdaly61 tdaly61 commented Mar 12, 2026

Automated update from config_propagator.py — standardising CircleCI pipeline config.

  • Executor image: cimg/openjdk:17.0.17
  • Checkstyle: enabled

@DavidH-1 DavidH-1 merged commit 456e277 into dev Mar 12, 2026
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