CI

Merge pull request #648 from mkroening/ci-clippy #1076

Sign in to view logs

Triggered via push February 20, 2024 09:39

github-merge-queue[bot]

main

Status Success

Total duration 2m 38s

Artifacts –

ci.yml

on: push

Integration Tests

Clippy test-kernels

Matrix: Test