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

removed all references to the staging deployment #876

Merged
merged 2 commits into from
Nov 11, 2023

Conversation

CommanderStorm
Copy link
Member

Fixes PRs having red checkmarks for no good reason

Proposed Changes (include Screenshots if possible)

  • no staging

How to test this PR

  1. See that there are no red checkmarks on this PR

How has this been tested?

  • see above

Checklist

  • I have updated the documentation / No need to update the documentation
  • I have run the linter

@TUM-Dev TUM-Dev deleted a comment from github-actions bot Nov 11, 2023
@CommanderStorm CommanderStorm merged commit 91f0ba4 into main Nov 11, 2023
17 of 18 checks passed
@CommanderStorm CommanderStorm deleted the chore/no-broken-staging branch November 11, 2023 14:33
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.

1 participant