Labels

ci: merge coverage with regular CI tests #154

Sign in to view logs

Re-run triggered May 17, 2025 13:23

effigies

#116

Borda:ci/coverage

Status Success

Total duration 12s

Artifacts –

label-check.yaml

on: pull_request

ensure type label