diff --git a/.github/workflows/code_coverage.yml b/.github/workflows/code_coverage.yml index 8e1491adc..db1b7d36f 100644 --- a/.github/workflows/code_coverage.yml +++ b/.github/workflows/code_coverage.yml @@ -2,6 +2,8 @@ on: [push, pull_request] name: Code Coverage +permissions: {} + jobs: Codecov: name: Code Coverage diff --git a/.github/workflows/cont_integration.yml b/.github/workflows/cont_integration.yml index 56e1fea87..4e1358fb2 100644 --- a/.github/workflows/cont_integration.yml +++ b/.github/workflows/cont_integration.yml @@ -2,6 +2,8 @@ on: [push, pull_request] name: CI +permissions: {} + jobs: prepare: diff --git a/.github/workflows/cron-update-rust.yml b/.github/workflows/cron-update-rust.yml index 2fc212ebd..1264203d5 100644 --- a/.github/workflows/cron-update-rust.yml +++ b/.github/workflows/cron-update-rust.yml @@ -1,4 +1,7 @@ name: Update rust version + +permissions: {} + on: schedule: - cron: "0 0 15 * *" # At 00:00 on day-of-month 15. diff --git a/.github/workflows/nightly_docs.yml b/.github/workflows/nightly_docs.yml index 80e3fc787..a66881319 100644 --- a/.github/workflows/nightly_docs.yml +++ b/.github/workflows/nightly_docs.yml @@ -1,5 +1,7 @@ name: Publish Nightly Docs +permissions: {} + on: [push, pull_request] jobs: