Merge pull request #348 from nyx-space/dependabot/cargo/pyo3-0.23.3

Update pyo3 requirement from 0.22.0 to 0.23.3

Author: ChristopherRabotin

.github/workflows/formal_verification.yml

@@ -27,5 +27,5 @@ jobs:
           sed '17d' Cargo.toml > Cargo.toml.new
           mv Cargo.toml.new Cargo.toml
 
-      - name: Kani Rust Verifier
-        uses: model-checking/kani-github-action@0.23
+      # - name: Kani Rust Verifier
+      #   uses: model-checking/kani-github-action@0.23

.github/workflows/python.yml

@@ -20,20 +20,20 @@ permissions:
 
 jobs:
   linux:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     strategy:
       matrix:
         target: [x86_64, x86, aarch64, armv7, ppc64le]
+
     steps:
       - uses: actions/checkout@v4
-      - uses: actions/setup-python@v5
+      - name: Setup Python on ${{ matrix.target }} 
+        uses: actions/setup-python@v5
         with:
-          python-version: '3.11'
-          check-latest: false
-          allow-prereleases: false
+          python-version: ">=3.9"
 
-      - name: Fix openssl regression
-        run: cargo update openssl-src --precise 300.3.1+3.3.1
+      # - name: Fix openssl regression
+      #   run: cargo update openssl-src --precise 300.3.1+3.3.1
 
       - name: Build wheels
         uses: PyO3/maturin-action@v1

Cargo.toml

@@ -9,7 +9,7 @@ repository = "https://github.com/nyx-space/hifitime"
 keywords = ["date", "time", "science", "leap-second", "no-std"]
 categories = ["date-and-time", "no-std"]
 readme = "README.md"
-license = "Apache-2.0"
+license = "MPL-2.0"
 exclude = ["*.tar.gz", "data/"]
 edition = "2021"
 
@@ -20,7 +20,7 @@ name = "hifitime"
 [dependencies]
 serde = { version = "1.0.155", optional = true }
 serde_derive = { version = "1.0.155", optional = true }
-pyo3 = { version = "0.22.0", features = [
+pyo3 = { version = "0.23.3", features = [
     "extension-module",
     "multiple-pymethods",
 ], optional = true }

pyproject.toml

@@ -1,5 +1,5 @@
 [build-system]
-requires = ["maturin>=1.6,<1.7"]
+requires = ["maturin>=1.7,<1.8"]
 build-backend = "maturin"
 
 [tool.maturin]
@@ -8,7 +8,7 @@ features = ["python"]
 
 [project]
 name = "hifitime"
-requires-python = ">=3.7"
+requires-python = ">=3.9"
 classifiers = [
     "Development Status :: 5 - Production/Stable",
     "Topic :: Scientific/Engineering :: Astronomy",