Skip to content
Docker

fix(lstar): reject malformed justification state with typed errors #1797

Sign in to view logs

fix(lstar): reject malformed justification state with typed errors

fix(lstar): reject malformed justification state with typed errors #1797

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Docker image (amd64 + arm64)
54m 15s
54m 15s