Skip to content
Lint

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

Sign in to view logs

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

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

Triggered via pull request February 23, 2026 11:37
@mpokempoke
synchronize #236
marius/quint-channel-api
Status Success
Total duration 1m 6s
Artifacts –

lint.yml

on: pull_request
Formatting
26s
Formatting
Clippy
1m 2s
Clippy
Fit to window
Zoom out
Zoom in