CI Build (main)

#426: Can't filter by traits on ITheoryDataRow #140

Triggered via push December 5, 2024 02:01

bradwilson

main

Status Success

Total duration 6m 41s

Artifacts 2

push-main.yaml

on: push

Produced during runtime

Name	Size
packages	1.17 MB
test	14.8 KB