Skip to content
PR title

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

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

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

pr-title.yaml

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