uri icon indicating copy to clipboard operation
uri copied to clipboard
verified publisher icon marrow

[MISC] Fix compilation on python3.10, correct workflow file for python3.10, fix pre-commit-config.yaml + github CI

Open nikoskoukis-slamcore opened this issue 1 year ago • 0 comments

Bundling a few small commits into the same PR

  • Fix compilation for python 3.10
  • Fix broken syntax in pre-commit-config.yaml
  • Fix execution of Github actions workflow file

nikoskoukis-slamcore avatar Jan 24 '24 14:01 nikoskoukis-slamcore