Skip to content
CI

Filter non-data records when merging records #37

Sign in to view logs

Filter non-data records when merging records

Filter non-data records when merging records #37

Re-run triggered October 19, 2023 11:25
@TexZKTexZK
#25
Suudy:main
Status Success
Total duration 3m 38s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
hexrec-coverage Expired
242 KB