Implement new sort inference algorithm #3689
test-pr.yml
on: pull_request
Version Sync
8s
Matrix: Nix flake
K Tests
38m 34s
Performace Tests
11m 17s
Annotations
2 errors
Nix flake (MacM1, self-macos-12)
Process completed with exit code 1.
|
K Tests
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
kframework.deb
Expired
|
147 MB |
|