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

chore: git workflow improvements #58

Merged
merged 5 commits into from
Jan 16, 2025
Merged

Conversation

SebastianScheidegger
Copy link
Contributor

@SebastianScheidegger SebastianScheidegger commented Jan 16, 2025

Proposed changes

Add tox, hadolint to workflows and hadolint to pre-commit

Checklist

Before creating a PR, run through this checklist and mark each as complete:

  • I have read the CONTRIBUTING document
  • If applicable, I have added tests that prove my fix is effective or that my feature works
  • If applicable, I have checked that any relevant tests pass after adding my changes
  • I have updated any relevant documentation

Add hadolint to pre-commit and verify-with-tox to workflow
Add dummy file for tox
Add dummy test for tox
@SebastianScheidegger SebastianScheidegger requested review from a team as code owners January 16, 2025 13:42
@github-advanced-security
Copy link

This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.

Merge main into branch
@ariwk ariwk merged commit cb659e0 into main Jan 16, 2025
9 checks passed
@ariwk ariwk deleted the feature/git-workflows-improvements branch January 16, 2025 13:56
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