chenyu d5f76462c8 fix CI beautiful_mnist dir (#7790) ... fixed `fatal: not a git repository (or any of the parent directories): .git` because $HOME is not $GITHUB_WORKSPACE		2024-11-19 09:59:02 -05:00
..
workflows	fix CI beautiful_mnist dir (#7790)	2024-11-19 09:59:02 -05:00