Jakob Rath
|
40e8dc7afa
|
Merge updated github workflows from master branch
|
2023-09-23 20:20:07 +02:00 |
|
dependabot[bot]
|
b8367247f5
|
Bump actions/checkout from 2 to 3 (#6066)
|
2022-06-02 09:14:08 +01:00 |
|
Naveen
|
8384c321fc
|
chore: Set permissions for GitHub actions (#6063)
Restrict the GitHub token permissions only to the required ones; this way, even if the attackers will succeed in compromising your workflow, they won’t be able to do much.
- Included permissions for the action. https://github.com/ossf/scorecard/blob/main/docs/checks.md#token-permissions
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#permissions
https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs
[Keeping your GitHub Actions and workflows secure Part 1: Preventing pwn requests](https://securitylab.github.com/research/github-actions-preventing-pwn-requests/)
Signed-off-by: naveen <172697+naveensrinivasan@users.noreply.github.com>
|
2022-06-01 20:02:45 -07:00 |
|
Nikolaj Bjorner
|
e148eea35d
|
Update wip.yml
|
2021-07-31 18:54:37 -07:00 |
|
|
Nikolaj Bjorner
|
f5a08cc54e
|
add wip
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-07-31 17:57:36 -07:00 |
|