coverage

chore: use 2023-12 database #4475

Sign in to view logs

Triggered via pull request December 12, 2023 23:09

bassosimone

opened #1426

issue/2556

Status Success

Total duration 4m 31s

Artifacts –

coverage.yml

on: pull_request

measure_coverage

finish_measuring_coverage