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.

Sign up for GitHub

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

Jump to bottom

Fix: Version #925

Merged

localheinz merged 1 commit into main from fix/version

Jun 16, 2024

Member

localheinz commented Jun 16, 2024

This pull request

fixes the versions used in scenarios


          Fix: Version

d807d0a

localheinz self-assigned this

localheinz requested a review from ergebnis-bot as a code owner

June 16, 2024 21:08

ergebnis-bot added the bug label

localheinz merged commit d32cd50 into main

18 checks passed

localheinz deleted the fix/version branch

June 16, 2024 21:09

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug