mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-23 08:47:05 +08:00
name the ci workflow in the hope that badges will then be displayed
This commit is contained in:
1 parent
fa6072b4fa
commit
1f06e6f0c9
1 file changed
+1
@@ -1,3 +1,4 @@
|
|||||||
|
name: ci
|
||||||
on: push
|
on: push
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
|
|||||||
Reference in new issue
Block a user