Fix Quint translation of `Nat` and `Int` #1212

Sign in to view logs

Summary
Jobs
- cut-release
Run details
- Usage
- Workflow file

Triggered via pull request June 30, 2023 12:29

thpani

closed #2621

th/qnt-int-nat

Status Skipped

Total duration 4s

Artifacts –

release.yml

on: pull_request