Test PR

Removing `#rangeBool` reasoning #10421

Sign in to view logs

Triggered via pull request September 10, 2024 15:59

PetarMax

synchronize #2616

petar/rangeBool-correction

Status Success

Total duration 56m 8s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Conformance Tests

Matrix: Nix

Matrix: test-prove

Annotations

1 warning

Nix (macos-13)

No push credentials found. Ignoring the 'useDaemon' option.