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

Make a CI workflow for PRs #101

Closed
ggoraa opened this issue Jul 14, 2022 · 0 comments · Fixed by #103
Closed

Make a CI workflow for PRs #101

ggoraa opened this issue Jul 14, 2022 · 0 comments · Fixed by #103
Assignees
@ggoraa
Labels
enhancement New feature or request

Comments

@ggoraa
Copy link
Collaborator

ggoraa commented Jul 14, 2022

Pretty self descriptive y'know
@ggoraa ggoraa self-assigned this Jul 14, 2022
@ggoraa ggoraa added the enhancement New feature or request label Jul 14, 2022
@ggoraa ggoraa modified the milestone: Stage 2: Media empire Jul 14, 2022
@ggoraa ggoraa closed this as completed Jul 14, 2022
@ggoraa ggoraa linked a pull request Jul 14, 2022 that will close this issue
PR workflow #103
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ggoraa ggoraa

Labels
enhancement New feature or request
Projects
Moc
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

PR workflow mock-foundation/moc
1 participant
@ggoraa