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

Rename workflow names and remove banners #12

Merged
merged 9 commits into from
Nov 8, 2023

Conversation

Stefan-Ethernal
Copy link

@Stefan-Ethernal Stefan-Ethernal commented Nov 7, 2023

Description

This PR cleans up GH workflows and removes banners.

Changes include

  • Bugfix (non-breaking change that solves an issue)
  • Hotfix (change that solves an urgent issue, and requires immediate attention)
  • New feature (non-breaking change that adds functionality)
  • Breaking change (change that is not backwards-compatible and/or changes current functionality)

Checklist

  • I have assigned this PR to myself
  • I have added at least 1 reviewer
  • I have added the relevant labels
  • I have updated the official documentation
  • I have added sufficient documentation in code

Testing

  • I have tested this code with the official test suite
  • I have tested this code manually

@Stefan-Ethernal Stefan-Ethernal merged commit 1e7e3ed into develop Nov 8, 2023
6 checks passed
@Stefan-Ethernal Stefan-Ethernal deleted the fix/update-workflow-names branch November 8, 2023 09:45
bane added a commit that referenced this pull request Mar 14, 2024
* Deploy Network
* Add Permissions
* Minor changes
* Concurrency change
* Destroy Network
* Fix commit sha
* Add Tests
* Disable Tests temporarily
* Nightly Build
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.

2 participants