jedi: v1.8.0

This commit is contained in:
David Lechner
2023-04-21 17:26:38 -05:00
parent 46d6189eb1
commit db8de447d5
3 changed files with 4 additions and 2 deletions
+1 -1
View File
@@ -6,7 +6,7 @@ name: Build Python package and docs
on:
push:
tags-ignore:
- "@pybricks/*"
- '**'
pull_request:
paths:
- doc/**