Skip to content

Update builtin.{txt,jax} #1583

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
Merged
merged 4 commits into from
Jun 30, 2024
Merged

Update builtin.{txt,jax} #1583

merged 4 commits into from
Jun 30, 2024

Conversation

h-east
Copy link
Member

@h-east h-east commented Jun 17, 2024

No description provided.

@h-east h-east changed the title Update builtin.{txt,jax}. Up to function name m*(). Update builtin.{txt,jax} Jun 17, 2024
@h-east
Copy link
Member Author

h-east commented Jun 17, 2024

ひとまず、関数名 m～() まで完了。

@h-east h-east mentioned this pull request Jun 18, 2024
Open
@h-east h-east marked this pull request as ready for review June 18, 2024 17:37
@tsuyoshicho tsuyoshicho self-requested a review June 19, 2024 11:30
@tsuyoshicho
Copy link
Contributor

見ていきますが、ちょっと時間と期間がかかると思います
(一回見落しやってるので、慎重にいく)

tsuyoshicho
tsuyoshicho requested changes Jun 22, 2024
View reviewed changes
Copy link
Contributor

@tsuyoshicho tsuyoshicho left a comment

Choose a reason for hiding this comment

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

気付けた範囲ですが、以下だけだと思います。

@h-east h-east merged commit c729145 into master Jun 30, 2024
3 checks passed
@h-east
Copy link
Member Author

h-east commented Jun 30, 2024

Thanks for the review!

@h-east h-east deleted the hh-update-builtin branch June 30, 2024 23:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tsuyoshicho tsuyoshicho tsuyoshicho approved these changes

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

Successfully merging this pull request may close these issues.
2 participants
@h-east @tsuyoshicho