Skip to content
Quint

fix(tests): create values of block_size #73

Sign in to view logs

fix(tests): create values of block_size

fix(tests): create values of block_size #73

Triggered via pull request November 26, 2025 17:02
@jmalicevicjmalicevic
synchronize #6
insumity/fix-test-extensions
Status Success
Total duration 8s
Artifacts –

quint.yml

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