This repository has been archived on 2024-10-16. You can view files and clone it, but cannot push or open issues or pull requests.
hedu/.github
Christoph J. Scherr 04f683807f
cargo devel CI / cargo CI (push) Successful in 4m1s Details
ci add clippy rustup
2024-02-16 16:35:09 +01:00
..
workflows ci add clippy rustup 2024-02-16 16:35:09 +01:00