Skip to content

Implement new sort inference algorithm #3689

Implement new sort inference algorithm

Implement new sort inference algorithm #3689

Triggered via pull request November 30, 2023 21:59
Status Failure
Total duration 39m 28s
Artifacts 1

test-pr.yml

on: pull_request
Version Sync
8s
Version Sync
Matrix: Nix flake
Check Java code formatting
24s
Check Java code formatting
Fit to window
Zoom out
Zoom in

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