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

Dev kmr #124

Merged
merged 4 commits into from
Jul 3, 2024
Merged

Dev kmr #124

merged 4 commits into from
Jul 3, 2024

Conversation

k-rister
Copy link
Contributor

@k-rister k-rister commented Jul 2, 2024

No description provided.

k-rister added 2 commits June 30, 2024 07:32
- dynamic configuration of timeout-minutes did not resolve the problem
  and is not needed
- forced engine building did not resolve the problem and is not needed
@k-rister k-rister added bug Something isn't working enhancement New feature or request labels Jul 2, 2024
@k-rister k-rister requested a review from a team July 2, 2024 01:44
@k-rister k-rister self-assigned this Jul 2, 2024
@k-rister k-rister force-pushed the dev-kmr branch 2 times, most recently from 8215c1a to d843f4f Compare July 2, 2024 01:54
Copy link
Contributor

@rafaelfolco rafaelfolco left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@k-rister k-rister merged commit 99ef6cb into main Jul 3, 2024
740 checks passed
@k-rister k-rister deleted the dev-kmr branch July 3, 2024 13:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants