mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

try to give the CI job permission to create PRs

Browse Source
This commit is contained in:
Ralf Jung 2024-09-22 12:51:11 +02:00
parent ee20c86282
commit 2859f2bafc
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/tools/miri/.github/workflows/ci.yml vendored
View File

@ -12,6 +12,9 @@ on:
schedule:
- cron: '44 4 * * *' # At 4:44 UTC every day.
permissions:
contents: write
defaults:
run:
shell: bash