coverage

ci: update repo to support merge queues (#605) #384

Sign in to view logs

Summary
Jobs
- coverage
Run details
- Usage
- Workflow file

Triggered via push October 23, 2023 19:22

github-merge-queue[bot]

main

Status Success

Total duration 9m 25s

Artifacts –

coverage.yml

on: push