Merge pull request #2480 from sbueringer/pr-minor-fixups #376

Sign in to view logs

Summary
Jobs
- coverage
Run details
- Usage
- Workflow file

Triggered via push October 31, 2023 13:27

main

Status Success

Total duration 3m 49s

Artifacts –

cover.yaml

on: push