Upload code coverage for a merged PR to codecov.io

main: Remove unnecessary lifetime #212

Sign in to view logs

Triggered via push January 17, 2025 15:27

ansasaki

master

Status Success

Total duration 59m 27s

Artifacts –

submit-HEAD-coverage.yaml

on: push

Submit code coverage from merged PR