Merge pull request #757 from hermit-os/uhvye_if_1-2 #1531

Sign in to view logs

Triggered via push September 23, 2024 16:05

github-merge-queue[bot]

main

Status Success

Total duration 1m 53s

Artifacts –

ci.yml

on: push

Integration Tests

Clippy test-kernels

Matrix: Clippy

Matrix: Test