Skip to content
protobuf_canonical_encoding_conformance

refactor: use create_justification in the quint specification as in the informal spec #1408

Sign in to view logs

refactor: use create_justification in the quint specification as in the informal spec

refactor: use create_justification in the quint specification as in the informal spec #1408

conformance

conformance
succeeded Nov 28, 2024 in 2m 34s