Skip to content

#190 Add generated files by name#203

Merged
roskakori merged 2 commits intomainfrom
190-add-generated-files-by-name
May 26, 2025
Merged

#190 Add generated files by name#203
roskakori merged 2 commits intomainfrom
190-add-generated-files-by-name

Conversation

@roskakori
Copy link
Owner

@roskakori roskakori added this to the v3.1.0 milestone May 26, 2025
@roskakori roskakori self-assigned this May 26, 2025
@roskakori roskakori moved this from 🆕 New to 👀 In review in Open source projects May 26, 2025
@roskakori roskakori merged commit 2d424a0 into main May 26, 2025
13 checks passed
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Open source projects May 26, 2025
@coveralls
Copy link

Coverage Status

coverage: 96.228% (-0.03%) from 96.255%
when pulling 5e06c3b on 190-add-generated-files-by-name
into 7ae7a63 on main.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

Add generated files by name

2 participants