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
extend grep filter to accept microsecond precision in tags #3301
Conversation
Can one of the admins verify this patch? |
@HereThereBeDragons this is an important fix required for GC to run in our environment, could we get it in 2.11 or a 2.10.x ? |
@cernvm-bot cloudtest |
building for cloudtests finished: SUCCESS |
cloudtests finished: FAILURE |
@cernvm-bot cloudtest |
building for cloudtests finished: SUCCESS |
cloudtests finished: FAILURE |
Test failure unrelated |
In some cases the tag names can have extra precision in their timestamps. This extends the filter to accept a potential dot and up to 3 digits for microseconds.
Fix #3271
It works based on this simple test: