Skip to content
main

fix: consider priority_selector when using best_session during rename #4965

Sign in to view logs

fix: consider priority_selector when using best_session during rename

fix: consider priority_selector when using best_session during rename #4965

Triggered via pull request October 26, 2024 15:17
@rchlrchl
synchronize #2538
fix/best-session
Status Success
Total duration 1m 44s
Artifacts –

main.yml

on: pull_request
Lint
58s
Lint
Matrix: Unittesting
Fit to window
Zoom out
Zoom in