From 1fcd9dc618bb1ec85b16e927d39211bebaffe9d9 Mon Sep 17 00:00:00 2001 From: "Xu, Zefan" Date: Fri, 22 Nov 2024 14:53:05 +0800 Subject: [PATCH 1/2] chore(gitignore): ignore log file like *.err and *.log In our development pratices, it's common to name stdout and stderr output log as *.log and *.err, respectively, based on informal observation within our team. This patch adds *.log and *.err to the .gitignore file to ensure they are ignored by Git. Notably, *.log is already ignored due to existing rules, and there is no source files in the projects with a *.err extension. As such, this patch is safe. --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index 71f84675a4..09907c9973 100644 --- a/.gitignore +++ b/.gitignore @@ -363,5 +363,8 @@ stack.info* !ready-to-run/* +# Log files simulator_err.txt simulator_out.txt +*.log +*.err From 115ee7fa9f156c782238b58aa6f68c630d5e925e Mon Sep 17 00:00:00 2001 From: "Xu, Zefan" Date: Fri, 22 Nov 2024 15:10:45 +0800 Subject: [PATCH 2/2] ci: skip CI emu for .gitignore change It seems no need to run CI again when .gitignore is modified. --- .github/filters.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/filters.yaml b/.github/filters.yaml index 9eff4f4897..838500b339 100644 --- a/.github/filters.yaml +++ b/.github/filters.yaml @@ -4,6 +4,7 @@ core: - "!.github/filters.yaml" - "!.github/workflows/nightly.yml" - "!.github/workflows/perf.yml" + - "!.gitignore" - "!**/*.md" - "!LICENSE" - "!images/**"