Skip to content
Quint

chore(specs): Re-organize Specs/Quint folder #214

Sign in to view logs

chore(specs): Re-organize Specs/Quint folder

chore(specs): Re-organize Specs/Quint folder #214

Triggered via pull request January 9, 2024 16:03
@romacromac
synchronize #139
romac/quint-reord
Status Failure
Total duration 24s
Artifacts –

quint.yml

on: pull_request
Typecheck
10s
Typecheck
Test
11s
Test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Typecheck
Process completed with exit code 1.
Test
Process completed with exit code 1.