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

Introduce deploy action #210

Merged
merged 1 commit into from
Oct 6, 2023
Merged

Introduce deploy action #210

merged 1 commit into from
Oct 6, 2023

Conversation

epistrephein
Copy link
Owner

@epistrephein epistrephein commented Oct 6, 2023 •
edited
Loading

Pull Request description

Introduce deploy action

Pull Request checklist

Kind of change
  • My code is a minor change (typo, configuration, anything not related to core functionality)
  • My code is a bug fix (non-breaking change which fixes an issue)
  • My code is a new feature (non-breaking change which adds functionality)
  • My code introduces a breaking change (fix or feature that would break existing functionality)
Style and tests
  • My code follows the code style of this project
  • I have added tests to cover my changes
  • All new and existing tests passed
Documentation
  • My changes require a change to the documentation
  • I have updated the documentation accordingly
Changelog
  • I have included the CHANGELOG entry for the changes

@epistrephein epistrephein self-assigned this Oct 6, 2023
@epistrephein epistrephein merged commit a27aae9 into master Oct 6, 2023
1 check passed
@epistrephein epistrephein deleted the ci-deploy branch October 6, 2023 12:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@epistrephein epistrephein

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@epistrephein