Add a manual CI trigger (workflow_dispatch) #15
@@ -2,6 +2,8 @@ name: CI
|
|||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
pull_request:
|
pull_request:
|
||||||
|
# Manual re-run, e.g. after rotating a credential or raising a budget cap.
|
||||||
|
workflow_dispatch:
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
checks:
|
checks:
|
||||||
|
|||||||
Reference in new issue
Block a user