Add total to #let-bindings where LHS is a variable
#3483
Baltolitest-pr.yml
on: pull_request
Version Sync
11s
K Tests
26m 25s
Matrix: Nix flake
Performace Tests
4m 59s
Annotations
4 errors and 1 warning
|
Performace Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/3798/merge' exists
|
|
Performace Tests
The operation was canceled.
|
|
K Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/3798/merge' exists
|
|
K Tests
The operation was canceled.
|
|
Check Java code formatting
Version "1.18.1" of Google Java Format cannot be found. Fallback to latest.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
kframework.deb
Expired
|
145 MB |
|