Skip to content
release

Convert Quint empty tuples into uninterpreted types/values #1405

Sign in to view logs

Convert Quint empty tuples into uninterpreted types/values

Convert Quint empty tuples into uninterpreted types/values #1405

Triggered via pull request March 21, 2024 21:28
@bugarelabugarela
closed #2869
gabriela/empty-tuple-as-unit
Status Skipped
Total duration 4s
Artifacts –

release.yml

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