Back to pull request #846

pin the toolchain version used by clippy #695

Sign in to view logs

Triggered via pull request January 13, 2024 04:52

danieleades

synchronize #846

danieleades:pin-clippy

Status Success

Total duration 1m 3s

Artifacts –

ci.yml

on: pull_request

Matrix: check

All checks succeeded