Skip to content
cosmwasm-to-quint

Fix init value for List and nondet value for constructors with no params #8

Sign in to view logs

Fix init value for List and nondet value for constructors with no params

Fix init value for List and nondet value for constructors with no params #8

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
7m 54s
7m 54s