release

Quint -> TLA+ transpilation fixes #1532

Sign in to view logs

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

Triggered via pull request December 4, 2024 17:05

bugarela

closed #3041

gabriela/quint-to-tla-improvements

Status Skipped

Total duration 5s

Artifacts –

release.yml

on: pull_request