Skip to content
Quint

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

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 #791

Triggered via pull request February 10, 2025 11:00
@romacromac
synchronize #836
romac/generic-test-framework
Status Success
Total duration 14s
Artifacts –

quint.yml

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