Skip to content
PR title

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

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

Triggered via pull request November 27, 2024 16:12
@brunoffrancabrunoffranca
synchronize #218
igor/spec-justifications
Status Success
Total duration 18s
Artifacts –

pr-title.yaml

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