Skip to content

Merge pull request #40 from gabrielrufino/develop #207

Merge pull request #40 from gabrielrufino/develop

Merge pull request #40 from gabrielrufino/develop #207

Triggered via push September 25, 2023 14:21
Status Success
Total duration 1m 39s
Artifacts 3
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
build Expired
2.68 KB
coverage Expired
60.8 KB
mutation-reports Expired
216 KB