Skip to content
PR title

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

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

Triggered via pull request November 27, 2024 15:34
@konnovkonnov
edited #218
igor/spec-justifications
Status Success
Total duration 17s
Artifacts –

pr-title.yaml

on: pull_request
lint
5s
lint
Fit to window
Zoom out
Zoom in