Trevor Gross cad0d6f187 ci: Allow skipping extensive tests with ci: skip-extensive ...

Sometimes we do refactoring that moves things around and triggers an
extensive test, even though the implementation didn't change. There
isn't any need to run full extensive CI in these cases, so add a way to
skip it from the PR message.

2025-04-17 23:31:06 -05:00

..

docker

Enable MPFR tests on i586

2025-01-06 15:41:39 -05:00

bench-icount.sh

Remove trailing whitespace in scripts, run JuliaFormatter

2025-01-21 20:30:11 -05:00

ci-util.py

ci: Allow skipping extensive tests with ci: skip-extensive

2025-04-17 23:31:06 -05:00

run-docker.sh

Use cargo-nextest for running tests in CI

2025-01-13 21:32:54 -05:00

run.sh

Rework the available Cargo profiles

2025-01-25 07:38:15 +00:00