Skip to content
CI

Use sealed trait pattern to avoid private trait in public interface w… #1991

Sign in to view logs

Use sealed trait pattern to avoid private trait in public interface w…

Use sealed trait pattern to avoid private trait in public interface w… #1991

Triggered via push January 28, 2025 14:23
@github-merge-queuegithub-merge-queue[bot]
pushed 2158f07
main
Status Success
Total duration 1m 52s
Artifacts –

ci.yml

on: push
Integration Tests
1m 44s
Integration Tests
Run images
24s
Run images
Format
15s
Format
Clippy test-kernels
30s
Clippy test-kernels
Coverage
1m 44s
Coverage
Matrix: Clippy
Matrix: Test
Fit to window
Zoom out
Zoom in