improve access to lint tools
mschneider opened this issue · 4 comments
current workflow is not ideal for a globally distributed team.
proposal 1: solana tech discord contributor role should be able to trigger ci / lint run on solana-foundation/solana-improvement-documents
proposal 2: ci just autoruns on every request, as long as PR doesn't touch the ci config, lint tools are pretty lightweight
proposal 1: solana tech discord contributor role should be able to trigger ci / lint run on solana-foundation/solana-improvement-documents
imo don't cross the streams. keep discord and github roles on their corresponding platforms
proposal 2: ci just autoruns on every request, as long as PR doesn't touch the ci config, lint tools are pretty lightweight
The Way ®️
@mvines have you still been approving the runs lately? I updated the settings for actions yesterday when this was brought up.
Not today! We'll see if this works when a new contributor sends their first SIMD I guess.
Closing as completed. We can reopen if the problem appears again.