Skip to content

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

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

Triggered via pull request November 27, 2024 16:12
Status Success
Total duration 3m 53s
Artifacts

protobuf_conformance.yaml

on: pull_request
Fit to window
Zoom out
Zoom in