Skip to content

DevOps: Update `github CI` and `pre-commit`

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

DevOps: CI and Pre-commit #108

DevOps: Update `github CI` and `pre-commit`
6d22dd2
Select commit
Loading
Failed to load commit list.