Skip to content

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

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

Triggered via pull request November 27, 2024 14:17
Status Failure
Total duration 15s
Artifacts

typos.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
typos
Process completed with exit code 2.
typos: node/libs/concurrency/src/scope/state.rs#L3
"parametrized" should be "parameterized".