Check

Modify `post-local-greater-than-post` to be unsatisfiable #477

Sign in to view logs

Triggered via pull request March 15, 2024 02:03

opened #155

charlie/local

Status Success

Total duration 29s

Artifacts –

check.yaml

on: pull_request

Matrix: run-checks