Skip to content
Quint

feat(code): Add Makefile to fix lints and test in local #852

Sign in to view logs

feat(code): Add Makefile to fix lints and test in local

feat(code): Add Makefile to fix lints and test in local #852

Triggered via pull request February 12, 2025 08:52
@romacromac
synchronize #751
hoank101:add-makefile
Status Success
Total duration 13s
Artifacts –

quint.yml

on: pull_request
Detect changes
3s
Detect changes
Typecheck
0s
Typecheck
Test
0s
Test
Fit to window
Zoom out
Zoom in