Halmos

Fix invariants in CI #119

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request November 24, 2024 15:40

QGarchery

synchronize #706

ci/fix-invariant

Status Success

Total duration 6m 59s

Artifacts –

halmos.yml

on: pull_request