Skip to content

fix: include field 'deprecated' in ir encoding and decoding #245

fix: include field 'deprecated' in ir encoding and decoding

fix: include field 'deprecated' in ir encoding and decoding #245

Triggered via push February 4, 2025 14:32
Status Success
Total duration 32m 30s
Artifacts 1

slow.yml

on: push
Matrix: Property tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
property-tests
8.86 KB