Skip to content

Add more tools to CI and docs #205

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 14 commits into from
Apr 21, 2022
Merged

Conversation

echeran
Copy link
Contributor

@echeran echeran commented Mar 7, 2022

Contributes to #187

@markusicu
Copy link
Member

@echeran Good time to make progress?
Maybe check in one PR for some tools and then create one or more additional ones?

@echeran echeran marked this pull request as ready for review April 19, 2022 21:32
@echeran echeran requested review from markusicu and srl295 April 19, 2022 21:32
@echeran
Copy link
Contributor Author

echeran commented Apr 19, 2022

@markusicu Good idea, I changed this PR from "draft" to "ready for review".

markusicu
markusicu previously approved these changes Apr 21, 2022
Copy link
Member

@markusicu markusicu left a comment

Choose a reason for hiding this comment

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

lgtm tnx!

please apply one more typo fix and then squash-and-merge

Co-authored-by: Markus Scherer <markus.icu@gmail.com>
Copy link
Member

@markusicu markusicu left a comment

Choose a reason for hiding this comment

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

lgtm

@echeran echeran merged commit 7528362 into unicode-org:main Apr 21, 2022
@markusicu
Copy link
Member

Thanks! I checked off two of the items in issue #187, please double-check.
I left UCA.Main unchecked since running it with one of its important arguments is commented out (and apparently needs some debugging).

@echeran echeran linked an issue May 24, 2022 that may be closed by this pull request
9 tasks
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.

auto-run documented tool programs
2 participants