Skip to content

Merge pull request #172 from upb-lea/dct #345

Merge pull request #172 from upb-lea/dct

Merge pull request #172 from upb-lea/dct #345

Triggered via push February 4, 2026 10:02
Status Success
Total duration 3m 2s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
html-docs Expired
9.64 MB
sha256:fc25c31fe716f4bdc943f71a3b0181957be7a8a205082c0efd409bcd69f8bfbb