user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Init josh-sync config file

Browse source
This commit is contained in:
Jakub Beránek 2025-07-23 09:24:52 +02:00
parent 7a8288bce4
commit a6c10939ac
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/josh-sync.toml Normal file
View file

@ -0,0 +1,2 @@
repo = "miri"
filter = ":rev(75dd959a3a40eb5b4574f8d2e23aa6efbeb33573:prefix=src/tools/miri):/src/tools/miri"