Skip to content
Quint

chore(code/staknet): Enforce parts-only configuration and mode for starknet app #864

Sign in to view logs

chore(code/staknet): Enforce parts-only configuration and mode for starknet app

chore(code/staknet): Enforce parts-only configuration and mode for starknet app #864

Triggered via pull request February 12, 2025 12:33
@ancazamfirancazamfir
opened #848
anca/starknet_parts_only
Status Success
Total duration 16s
Artifacts –

quint.yml

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