Skip to content

Commit

Permalink
0.8.0 RC 1
Browse files Browse the repository at this point in the history
  • Loading branch information
flexatone committed Apr 10, 2024
1 parent 3bad3d4 commit ddec7de
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 8 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -136,6 +136,8 @@ jobs:
pip install xensieve --find-links dist --force-reinstall
pip install pytest
pytest
pip install mypy
mypy --strict tests
#-----------------------------------------------------------------------------
test-rust:
Expand Down
5 changes: 2 additions & 3 deletions Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,13 +1,12 @@
[package]
name = "xensieve"
version = "0.5.1"
version = "0.8.0"
edition = "2021"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[lib]
name = "xensieve"
crate-type = ["cdylib"]

[dependencies]
pyo3 = "0.20.0"
xensieve = "0.5.0"
xensieve = "0.8.0"
10 changes: 5 additions & 5 deletions xensieve.pyi
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,11 @@ class IterState:


class Sieve:
def __init__(self, expr: str, \) -> None: ...
def __init__(self, expr: str, /) -> None: ...

def __repr__(self) -> str: ...

def __contains__(self, v: int, \) -> bool: ...
def __contains__(self, v: int, /) -> bool: ...

def __invert__(self) -> tp.Self: ...

Expand All @@ -37,8 +37,8 @@ class Sieve:

def __and__(self, other: tp.Self) -> tp.Self: ...

def iter_value(self, start: int, stop: int, \) -> IterValue: ...
def iter_value(self, start: int, stop: int, /) -> IterValue: ...

def iter_interval(self, start: int, stop: int, \) -> IterInterval: ...
def iter_interval(self, start: int, stop: int, /) -> IterInterval: ...

def iter_state(self, start: int, stop: int, \) -> IterState: ...
def iter_state(self, start: int, stop: int, /) -> IterState: ...

0 comments on commit ddec7de

Please sign in to comment.