Skip to content
release

[WIP] Unboxing Quint tuples in operator applications #1347

Sign in to view logs

[WIP] Unboxing Quint tuples in operator applications

[WIP] Unboxing Quint tuples in operator applications #1347

Triggered via pull request January 3, 2024 20:17
@shonfedershonfeder
closed #2680
th/tuple-unboxing
Status Skipped
Total duration 4s
Artifacts –

release.yml

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