Skip to content
PR title

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

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

Triggered via pull request November 28, 2024 10:27
@konnovkonnov
synchronize #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