Skip to content
This repository has been archived by the owner on Jul 15, 2024. It is now read-only.

Split CI clippy into main & auxiliary steps. #155

Merged
merged 2 commits into from
Aug 18, 2023

Disable CI for main pushes.

00c68a8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Split CI clippy into main & auxiliary steps. #155

Disable CI for main pushes.
00c68a8
Select commit
Loading
Failed to load commit list.