Skip to content
release

Fix conversion of Quint nullary polymorphic operators #1535

Sign in to view logs

Fix conversion of Quint nullary polymorphic operators

Fix conversion of Quint nullary polymorphic operators #1535

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cut-release
0s
0s