You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The following proof tests were excluded from the CI due to persistent failures:
tests/proofs/loops-spec.k
tests/proofs/wrc20-spec.k
These tests were failing on the K dependency update PR #716 . To unblock the PR, they were temporarily excluded, but they need to be investigated and re-enabled once fixed.
The text was updated successfully, but these errors were encountered:
The following proof tests were excluded from the CI due to persistent failures:
tests/proofs/loops-spec.k
tests/proofs/wrc20-spec.k
These tests were failing on the K dependency update PR #716 . To unblock the PR, they were temporarily excluded, but they need to be investigated and re-enabled once fixed.
The text was updated successfully, but these errors were encountered: