Skip to content
Quint

feat(code/test): Add channel-based test app for integration tests #819

Sign in to view logs

feat(code/test): Add channel-based test app for integration tests

feat(code/test): Add channel-based test app for integration tests #819

Triggered via pull request February 11, 2025 10:07
@romacromac
synchronize #747
romac/app-channel-test
Status Success
Total duration 19s
Artifacts –

quint.yml

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