Skip to content

Refactor the Quint specification after #144 #29

Refactor the Quint specification after #144

Refactor the Quint specification after #144 #29

Triggered via pull request July 23, 2024 07:24
Status Failure
Total duration 19s
Artifacts

spec.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 2.