Skip to content
Lint

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

Sign in to view logs

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

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

Triggered via pull request February 20, 2026 15:50
@mpokempoke
opened #236
marius/quint-channel-api
Status Success
Total duration 4m 19s
Artifacts –

lint.yml

on: pull_request
Formatting
2m 51s
Formatting
Clippy
4m 11s
Clippy
Fit to window
Zoom out
Zoom in