Skip to content

Add: New GMP version 22.05 #27

Add: New GMP version 22.05

Add: New GMP version 22.05 #27

Triggered via pull request December 12, 2023 12:50
Status Success
Total duration 1m 33s
Artifacts

ci.yml

on: pull_request
Matrix: Run tests
Build the documentation
49s
Build the documentation
Check versioning  /  Check versioning for consistency
8s
Check versioning / Check versioning for consistency
Matrix: Linting
Upload coverage to codecov.io
40s
Upload coverage to codecov.io
Fit to window
Zoom out
Zoom in