Skip to content
Quint

feat(code): Add polka certificate to VoteSync response #887

Sign in to view logs

feat(code): Add polka certificate to VoteSync response

feat(code): Add polka certificate to VoteSync response #887

Triggered via pull request February 18, 2025 18:21
@romacromac
opened #859
romac/polka-certificate
Status Success
Total duration 16s
Artifacts –

quint.yml

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