Only run miri for changed files
This commit is contained in:
1 file changed
+7
@@ -6,6 +6,13 @@ on:
|
|||||||
branches:
|
branches:
|
||||||
- 'auto'
|
- 'auto'
|
||||||
- 'try'
|
- 'try'
|
||||||
|
paths:
|
||||||
|
- packages/**
|
||||||
|
- examples/**
|
||||||
|
- src/**
|
||||||
|
- .github/**
|
||||||
|
- lib.rs
|
||||||
|
- Cargo.toml
|
||||||
pull_request:
|
pull_request:
|
||||||
types: [opened, synchronize, reopened, ready_for_review]
|
types: [opened, synchronize, reopened, ready_for_review]
|
||||||
branches:
|
branches:
|
||||||
|
|||||||
Reference in new issue
Block a user