Open dyxushuai opened 10 months ago
Could you provide more context with what this change is for? I think we should avoid the whitespace changes and use a common formatter/lint tool to ensure different users don't introduce different whitespace.
Could you provide more context with what this change is for? I think we should avoid the whitespace changes and use a common formatter/lint tool to ensure different users don't introduce different whitespace.
Related to this pr https://github.com/risc0/zeth/pull/75#issuecomment-1896273565
I think we should avoid the whitespace changes and use a common formatter/lint tool to ensure different users don't introduce different whitespace.
Yeah, I agree. This file was formatted by the suggestion of this issue in official vscode github action extension marketplace.visualstudio.com/items?itemName=GitHub.vscode-github-actions.
Yeah, I agree. This file was formatted by the suggestion of this issue in official vscode github action extension marketplace.visualstudio.com/items?itemName=GitHub.vscode-github-actions.
FYI, https://marketplace.visualstudio.com/items?itemName=redhat.vscode-yaml
If we want to start enforcing a style on these files, then we need to have a CI check to ensure that the file can't be landed in a bad style.
good idea, using CI lints CI file, haha
Related #75 #76 +r @Wollac