Skip to content

Fix typing for add_axiom arguments in __init__.pyi, #36 #79

Fix typing for add_axiom arguments in __init__.pyi, #36

Fix typing for add_axiom arguments in __init__.pyi, #36 #79

Triggered via pull request February 11, 2025 19:44
Status Success
Total duration 5m 6s
Artifacts 16

CI.yaml

on: pull_request
Matrix: linux
Matrix: macos
Matrix: musllinux
Matrix: windows
build-docs
0s
build-docs
Matrix: tests
Release
0s
Release
deploy-docs
0s
deploy-docs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pytest-results-3.10
1.23 KB
pytest-results-3.11
1.24 KB
pytest-results-3.8
1.22 KB
pytest-results-3.9
1.23 KB
wheels-linux-ppc64le
2.48 MB
wheels-linux-s390x
2.98 MB
wheels-linux-x86
2.46 MB
wheels-linux-x86_64
2.39 MB
wheels-macos-aarch64
2.14 MB
wheels-macos-x86_64
2.28 MB
wheels-musllinux-aarch64
2.44 MB
wheels-musllinux-armv7
2.48 MB
wheels-musllinux-x86
2.5 MB
wheels-musllinux-x86_64
2.52 MB
wheels-sdist
175 KB
wheels-windows-x64
2.23 MB