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

Build related changes #621

Merged
merged 12 commits into from
Jun 11, 2024
Merged

Build related changes #621

merged 12 commits into from
Jun 11, 2024

Conversation

robin-checkmk
Copy link
Member

@robin-checkmk robin-checkmk commented Jun 10, 2024

Pull request type

Please check the type of change your PR introduces:

  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no API changes)
  • Build related changes
  • Documentation content changes
  • Other (please describe):

What is the current behavior?

What is the new behavior?

  • Add concurrency to GitHub Actions to reduce overhead on bigger changes with a lot of checks.
  • Fix some linting findings.
  • Update .gitignore, add netaddr package to requirements.txt and add several Python versions to Vagrant box.

Other information

@robin-checkmk robin-checkmk self-assigned this Jun 10, 2024
@robin-checkmk robin-checkmk changed the base branch from main to devel June 10, 2024 20:10
@robin-checkmk robin-checkmk added the release:5.1.0 Affects the mentioned release. label Jun 10, 2024
@github-actions github-actions bot added module:rule This affects the rule module module:user This affects the user module labels Jun 10, 2024
@robin-checkmk robin-checkmk mentioned this pull request Jun 11, 2024
7 tasks
@robin-checkmk robin-checkmk marked this pull request as ready for review June 11, 2024 17:22
@robin-checkmk robin-checkmk merged commit 982f0f8 into devel Jun 11, 2024
202 checks passed
@robin-checkmk robin-checkmk deleted the build/implement-sensible-stuff branch June 11, 2024 17:40
@github-actions github-actions bot locked and limited conversation to collaborators Jun 11, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
module:rule This affects the rule module module:user This affects the user module release:5.1.0 Affects the mentioned release.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant