Skip to content

Add docs/SPECS.md #7738

Add docs/SPECS.md

Add docs/SPECS.md #7738

Triggered via pull request June 10, 2025 21:03
@DiegoCiviDiegoCivi
synchronize #2105
docs/specs
Status Success
Total duration 6m 0s
Artifacts

test_install.yml

on: pull_request
Install on debian-11
5m 52s
Install on debian-11
Matrix: install
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Install on macos-13
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp