Skip to content
release

Translate Quint open row tuples to sparse tuples #1219

Sign in to view logs

Translate Quint open row tuples to sparse tuples

Translate Quint open row tuples to sparse tuples #1219

Triggered via pull request July 6, 2023 10:13
@thpanithpani
closed #2634
th/quint-sparse-tuples
Status Skipped
Total duration 3s
Artifacts –

release.yml

on: pull_request
cut-release
0s
cut-release
Fit to window
Zoom out
Zoom in