Update GitHub workflows #28

Triggered via pull request October 9, 2023 18:50

torredil

opened #1778

Status Success

Total duration 6m 29s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

generate-code-coverage.yaml

on: pull_request

Produced during runtime

Name	Size
base-coverage Expired	125 KB
pr-coverage Expired	125 KB