Skip to content
Quint

feat(code): Add polka certificates to VoteSync response #1083

Sign in to view logs

feat(code): Add polka certificates to VoteSync response

feat(code): Add polka certificates to VoteSync response #1083

Triggered via pull request March 13, 2025 21:21
@ancazamfirancazamfir
synchronize #859
romac/polka-certificate
Status Success
Total duration 6m 36s
Artifacts –

quint.yml

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