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