Skip to content

Update actions, pre-commit and docker image#19

Merged
tulir merged 2 commits intomainfrom update-ciFeb 17, 2024