Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Updated configuration for new versions of Tebako and dwarfs #214

Merged
merged 1 commit into from
Oct 23, 2023
Merged

Updated configuration for new versions of Tebako and dwarfs #214

merged 1 commit into from
Oct 23, 2023

Conversation

maxirmx
Copy link
Contributor

@maxirmx maxirmx commented Oct 22, 2023

Metanorma PR checklist

@maxirmx maxirmx force-pushed the maxirmx-dwarfs-update branch from 14f7b2a to 74d0529 Compare October 22, 2023 20:15
@maxirmx maxirmx marked this pull request as ready for review October 22, 2023 21:18
@maxirmx maxirmx requested a review from ronaldtse October 22, 2023 21:18
@maxirmx maxirmx force-pushed the maxirmx-dwarfs-update branch from 1f736b5 to 79e5f8b Compare October 23, 2023 20:12
@maxirmx maxirmx merged commit bd37dba into main Oct 23, 2023
70 checks passed
@maxirmx maxirmx deleted the maxirmx-dwarfs-update branch October 23, 2023 21:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ronaldtse ronaldtse Awaiting requested review from ronaldtse

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@maxirmx