Skip to content

install: Remove files and directories not needed for install #6616

install: Remove files and directories not needed for install

install: Remove files and directories not needed for install #6616

Triggered via pull request August 7, 2025 00:43
Status Success
Total duration 8m 53s
Artifacts

examples-mpi.yml

on: pull_request
Matrix: Examples with mpi
Fit to window
Zoom out
Zoom in