This repository has been archived by the owner on Jan 30, 2024. It is now read-only.

Update CI#366

Merged

bors[bot] merged 7 commits intomainfrom ci

Dec 5, 2022

+14-26

Commits on Nov 29, 2022

Commits on Dec 5, 2022

Satisfy clippy
Urhengulas
committed