Upload HEAD coverage

Merge pull request #2602 from Ruadhri17/custom-operation-subcommands #375

Sign in to view logs

Triggered via push January 29, 2024 16:58

github-merge-queue[bot]

main

Status Success

Total duration 6m 51s

Artifacts –

head_coverage.yml

on: push

Upload HEAD coverage