Skip to content
protobuf_canonical_encoding_conformance

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

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 #1405

Triggered via pull request November 27, 2024 14:17
@konnovkonnov
opened #218
igor/spec-justifications
Status Success
Total duration 4m 9s
Artifacts –

protobuf_conformance.yaml

on: pull_request
conformance
2m 43s
conformance
Fit to window
Zoom out
Zoom in