Skip to content
release

Use type given by quint to build lambda bodies #1398

Sign in to view logs

Use type given by quint to build lambda bodies

Use type given by quint to build lambda bodies #1398

Triggered via pull request March 8, 2024 22:15
@bugarelabugarela
closed #2856
gabriela/fix-quint-type-conversion
Status Skipped
Total duration 4s
Artifacts –

release.yml

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