Skip to content

Name archives after the case dir, not --name

fc904fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add --archive option to ./mfc.sh run for interactive runs #1376

Name archives after the case dir, not --name
fc904fb
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Detect File Changes
succeeded Apr 24, 2026 in 12s