failed attributes
| status |
attribute |
duration |
| failed |
checks.aarch64-darwin.spec-staging
|
6s |
spec-staging:
> [1/3] Checking whether the inductive invariant 'indInv' holds in the initial state(s) defined by 'init'...
# Usage statistics is OFF. We care ab …
spec-staging:
> [1/3] Checking whether the inductive invariant 'indInv' holds in the initial state(s) defined by 'init'...
# Usage statistics is OFF. We care about your privacy.
# If you want to help our project, consider enabling statistics with config --enable-stats=true.
Output directory: /nix/var/nix/builds/nix-1042-1772970285/_apalache-out/server/2026-08-25T08-54-51_5024270159392437666
# APALACHE version: 0.56.1 | build: 70cdaf4 I@08:54:51.630
Starting checker server on port 8822... I@08:54:51.635
The Apalache server is running on port 8822. Press Ctrl-C to stop.
Error while starting Apalache server: Failed to bind to address 0.0.0.0/0.0.0.0:8822: Address already in use E@08:54:52.143
|
| failed |
checks.aarch64-darwin.treefmt
|
3s |
treefmt-check:
248 │ None => std::future::pending().await,
│ ^^^^^^^^^^^^^^^^^^^^
Error: 1 error(s) found in code.
Help: Scan succee …
treefmt-check:
248 │ None => std::future::pending().await,
│ ^^^^^^^^^^^^^^^^^^^^
Error: 1 error(s) found in code.
Help: Scan succeeded and found error level diagnostics in the codebase.
traversed 138 files
emitted 109 files for processing
formatted 40 files (0 changed) in 480ms
Error: failed to finalise formatting: formatting failures detected
|
| failed |
checks.aarch64-linux.treefmt
|
3s |
treefmt-check:
248 │ None => std::future::pending().await,
│ ^^^^^^^^^^^^^^^^^^^^
Error: 1 error(s) found in code.
Help: Scan succee …
treefmt-check:
248 │ None => std::future::pending().await,
│ ^^^^^^^^^^^^^^^^^^^^
Error: 1 error(s) found in code.
Help: Scan succeeded and found error level diagnostics in the codebase.
traversed 138 files
emitted 109 files for processing
formatted 40 files (0 changed) in 594ms
Error: failed to finalise formatting: formatting failures detected
|
| failed |
checks.x86_64-linux.treefmt
|
1s |
treefmt-check:
248 │ None => std::future::pending().await,
│ ^^^^^^^^^^^^^^^^^^^^
Error: 1 error(s) found in code.
Help: Scan succee …
treefmt-check:
248 │ None => std::future::pending().await,
│ ^^^^^^^^^^^^^^^^^^^^
Error: 1 error(s) found in code.
Help: Scan succeeded and found error level diagnostics in the codebase.
traversed 138 files
emitted 109 files for processing
formatted 40 files (0 changed) in 543ms
Error: failed to finalise formatting: formatting failures detected
|