Skip to content
Generate coverage report

Labeled dist-of-fun #1124

Sign in to view logs

Labeled dist-of-fun

Labeled dist-of-fun #1124

Triggered via pull request July 18, 2023 19:58
@Mv77Mv77
opened #1306
Mv77:plumbing/labeled-dist-of-fun
Status Success
Total duration 16m 13s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coverage.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in