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.

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

Started wiki github action file #17

Merged
merged 2 commits into from
Mar 23, 2020

Conversation

devlinjunker
Copy link
Owner

@devlinjunker devlinjunker commented Mar 23, 2020

Started github action on merge to master.

  • Should read the markdown files from (hopefully the entire repo), otherwise we'll need to add a fix to first collect them all in a temporary directory

Related to #5

@devlinjunker devlinjunker merged commit a1015a7 into master Mar 23, 2020
@devlinjunker devlinjunker deleted the feat/update-wiki-on-master-push branch March 23, 2020 01:11
This was referenced Mar 23, 2020
@devlinjunker devlinjunker added the build Improvements to the build process label Mar 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build Improvements to the build process
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant