Skip to content
Quint

feat(code/test): Generalize the test framework to make it work with any app #781

Sign in to view logs

feat(code/test): Generalize the test framework to make it work with any app

feat(code/test): Generalize the test framework to make it work with any app #781

Triggered via pull request February 7, 2025 18:26
@romacromac
synchronize #836
romac/generic-test-framework
Status Success
Total duration 15s
Artifacts –

quint.yml

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