Skip to content

Add note to documentation to address #195#197

Merged
ekzhu merged 4 commits intomasterfrom
weighted
Feb 19, 2023
Merged

Add note to documentation to address #195#197
ekzhu merged 4 commits intomasterfrom
weighted

Conversation

@ekzhu
Copy link
Copy Markdown
Owner

@ekzhu ekzhu commented Feb 19, 2023

And some edits to github workflows.

@ekzhu ekzhu merged commit bc1b762 into master Feb 19, 2023
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