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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
4s
4s