Skip to content
PR title

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

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

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

pr-title.yaml

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