Skip to content
This repository has been archived by the owner on Oct 11, 2024. It is now read-only.

Docs changes for GitHub Actions #70

Merged
merged 1 commit into from
May 24, 2022
Merged

Docs changes for GitHub Actions #70

merged 1 commit into from
May 24, 2022

Conversation

ntolia
Copy link
Contributor

@ntolia ntolia commented May 24, 2022

Addresses some requirements for #69

@ntolia ntolia requested a review from vkamra May 24, 2022 07:32
@vkamra vkamra merged commit 5739f90 into main May 24, 2022
@vkamra vkamra deleted the make_docs branch May 24, 2022 19:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants