Skip to content

Update GovTool to v2.0.12#3049

Merged
MSzalowski merged 1 commit into
developfrom
chore/update-govtool-to-v2.0.12
Feb 21, 2025
Merged

Update GovTool to v2.0.12#3049
MSzalowski merged 1 commit into
developfrom
chore/update-govtool-to-v2.0.12

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

This PR updates GovTool to version 2.0.12.

Workflow executed by @MSzalowski.

@MSzalowski MSzalowski merged commit 5e83a7d into develop Feb 21, 2025
@MSzalowski MSzalowski deleted the chore/update-govtool-to-v2.0.12 branch February 21, 2025 10:32
@github-actions
Copy link
Copy Markdown
Contributor Author

@github-actions[bot]
This PR is in the tag: develop-5e83a7d3e0d705774f7eb5702610d0b87e0a0e07 , for govtool-metadata-validation service

@github-actions
Copy link
Copy Markdown
Contributor Author

@github-actions[bot]
This PR is in the tag: develop-5e83a7d3e0d705774f7eb5702610d0b87e0a0e07 , for govtool-frontend service

@github-actions
Copy link
Copy Markdown
Contributor Author

@github-actions[bot]
This PR is in the tag: develop-5e83a7d3e0d705774f7eb5702610d0b87e0a0e07 , for govtool-backend service

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.

1 participant