Skip to content
Test

spec: Add Channel API contract, generator, and Emerald composition #993

Sign in to view logs

spec: Add Channel API contract, generator, and Emerald composition

spec: Add Channel API contract, generator, and Emerald composition #993

Triggered via pull request February 26, 2026 12:52
@mpokempoke
synchronize #236
marius/quint-channel-api
Status Success
Total duration 20m 9s
Artifacts –

test.yml

on: pull_request
Unit Tests
30s
Unit Tests
MBT Suite
20m 6s
MBT Suite
Fit to window
Zoom out
Zoom in