Skip to content
Quint

style: Rename top level folders to lowercase #218

Sign in to view logs

style: Rename top level folders to lowercase

style: Rename top level folders to lowercase #218

Triggered via pull request January 9, 2024 19:22
@romacromac
synchronize #138
anca/126_adr_todos
Status Failure
Total duration 20s
Artifacts –

quint.yml

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

Annotations

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