Skip to content
Rust

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

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

Triggered via pull request November 27, 2024 15:33
@konnovkonnov
synchronize #218
igor/spec-justifications
Status Failure
Total duration 3m 31s
Artifacts –

rust.yml

on: pull_request
check-build-test
3m 22s
check-build-test
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-build-test
Process completed with exit code 1.