Skip to content

Merge pull request #740 from wprzytula/default-consistency-auto-derive #1593

Merge pull request #740 from wprzytula/default-consistency-auto-derive

Merge pull request #740 from wprzytula/default-consistency-auto-derive #1593

Triggered via push July 27, 2023 05:33
Status Success
Total duration 4m 18s
Artifacts
Fit to window
Zoom out
Zoom in