Skip to content

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

Merge pull request #172 from upb-lea/dct

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

Triggered via push February 4, 2026 10:02
Status Success
Total duration 19m 47s
Artifacts

main.yml

on: push
Fit to window
Zoom out
Zoom in