Fix CI issues #2441

Sign in to view logs

Summary
Jobs
- audit
Run details
- Usage
- Workflow file

Triggered via pull request November 28, 2024 14:08

wulfraem

synchronize #1458

test/debug-test-harness-in-ci

Status Success

Total duration 53s

Artifacts –

audit.yml

on: pull_request

Annotations

2 warnings

10 warnings found!

Unknown warning kind unsound found, please, file a bug