Skip to content

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

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

Triggered via pull request November 27, 2024 15:33
Status Success
Total duration 2m 51s
Artifacts

protobuf_conformance.yaml

on: pull_request
Fit to window
Zoom out
Zoom in