mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-01 04:03:45 +08:00
Enable workflow_dispatch in CI
This commit is contained in:
1 parent
91ffdead32
commit
6e5d5b779c
1 file changed
+1
-1
@@ -1,5 +1,5 @@
|
||||
name: ci
|
||||
on: [push, pull_request]
|
||||
on: [push, pull_request, workflow_dispatch]
|
||||
|
||||
jobs:
|
||||
tests:
|
||||
|
||||
Reference in new issue
Block a user