Kani CI

chore: remove clippy ignore that no longer applies #676

Sign in to view logs

This workflow is awaiting approval from a maintainer in #505

Triggered via pull request March 16, 2025 20:47

qti3e

synchronize #505

qti3e:main

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #505

Kani.yml

on: pull_request