Commit graph

2 commits

Author SHA1 Message Date
Naveen
f4a7ba967e
Set permissions for GitHub actions (#7984)
This limits the damage that a compromised GitHub action could do.

See https://github.com/ossf/scorecard/blob/main/docs/checks.md#token-permissions
https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs
2022-03-24 09:32:57 -07:00
John MacFarlane
1cbaea673d Stop doing lint in CI.
The script failed for reasons I can't determine.
For now, we disable it.
2021-09-20 23:20:48 -07:00
Renamed from .github/workflows/lint.yml (Browse further)