Rust

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

Sign in to view logs

Triggered via pull request November 27, 2024 16:12

synchronize #218

igor/spec-justifications

Status Success

Total duration 8m 1s

Artifacts –

rust.yml

on: pull_request

check-build-test