Skip to content

ksearch: adjust id generation to add basename from callers #2104

ksearch: adjust id generation to add basename from callers

ksearch: adjust id generation to add basename from callers #2104

Triggered via pull request October 17, 2024 14:27
Status Success
Total duration 3m 16s
Artifacts 1

coverage.yml

on: pull_request
combined_coverage  /  base-coverage
2m 37s
combined_coverage / base-coverage
combined_coverage  /  current-coverage
2m 31s
combined_coverage / current-coverage
combined_coverage  /  Coveralls
8s
combined_coverage / Coveralls
individual_coverage_percentages
6s
individual_coverage_percentages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coverage Expired
1.12 MB