Skip to content

Rename trace file writer and trace file player#12

Merged
ClemensLinnhoff merged 2 commits intomainfrom
11-update-ci-pipeline-and-test-with-new-names-of-trace-file-player-and-writer
Sep 30, 2024
Merged

Rename trace file writer and trace file player#12
ClemensLinnhoff merged 2 commits intomainfrom
11-update-ci-pipeline-and-test-with-new-names-of-trace-file-player-and-writer

Commits

Commits on Sep 30, 2024