WordStack optimizations #10503

Sign in to view logs

Triggered via pull request September 27, 2024 06:43

PetarMax

synchronize #2632

wordstack-optimizations

Status Failure

Total duration 1h 11m 2s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Conformance Tests

Matrix: Nix

Matrix: test-prove

Annotations

2 errors and 1 warning

Nix (normal)

Process completed with exit code 1.

Proofs: Rules (booster-dev)

Process completed with exit code 2.

Nix (macos-13)

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