Skip to content

Slicing: add unique slice index number to output file name #1729

Slicing: add unique slice index number to output file name

Slicing: add unique slice index number to output file name #1729

Triggered via pull request November 5, 2023 22:08
Status Success
Total duration 13m 2s
Artifacts

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in