Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/formal_verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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/[email protected]
# - name: Kani Rust Verifier
# uses: model-checking/[email protected]
14 changes: 7 additions & 7 deletions .github/workflows/python.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
4 changes: 2 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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"

Expand All @@ -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 }
Expand Down
4 changes: 2 additions & 2 deletions pyproject.toml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
[build-system]
requires = ["maturin>=1.6,<1.7"]
requires = ["maturin>=1.7,<1.8"]
build-backend = "maturin"

[tool.maturin]
Expand All @@ -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",
Expand Down
Loading