Skip to content
Quint

feat(spec/test): Model-based tests for part streaming #798

Sign in to view logs

feat(spec/test): Model-based tests for part streaming

feat(spec/test): Model-based tests for part streaming #798

Triggered via pull request February 10, 2025 11:59
@stojanovic00stojanovic00
synchronize #814
stojanovic00:part-streaming-mbt
Status Success
Total duration 6m 33s
Artifacts –

quint.yml

on: pull_request
Detect changes
3s
Detect changes
Typecheck
3m 45s
Typecheck
Test
6m 10s
Test
Fit to window
Zoom out
Zoom in