Skip to content
Lint

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

Sign in to view logs

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

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

Triggered via pull request February 23, 2026 08:33
@mpokempoke
synchronize #236
marius/quint-channel-api
Status Success
Total duration 55s
Artifacts –

lint.yml

on: pull_request
Formatting
44s
Formatting
Clippy
51s
Clippy
Fit to window
Zoom out
Zoom in