Skip to content

fix distclean, add distcheck to CI#96

Merged
stevengj merged 1 commit into
masterfrom
distcheck_files
Jun 26, 2026
Merged

fix distclean, add distcheck to CI#96
stevengj merged 1 commit into
masterfrom
distcheck_files

fix distclean, add distcheck to CI

8735d47
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
linux (OMP_NUM_THREADS=8)
succeeded Jun 26, 2026 in 1m 1s