- Apr 03, 2024
-
-
- Jan 29, 2024
-
-
pre-commit-ci[bot] authored
for more information, see https://pre-commit.ci
-
- Nov 12, 2023
-
-
Guilhem Saurel authored
* ruff --fix . * add previous commit to git-blame-ignore-revs * manual ruff fixes * pre-commit-sort * pre-commit: add ruff * black . * add previous commit to git-blame-ignore-revs * README: add black & ruff badges * fix noqa * pre-commit autoupdate * pre-commit run -a
-
- Oct 24, 2023
-
-
Guilhem Saurel authored
* ruff --fix . * add previous commit to git-blame-ignore-revs * manual ruff fixes * pre-commit sort * pre-commit: add ruff * black . * ignore pre-commit in blame * README: add black & ruff badges * fix noqa * gitlab-ci: fix url
-
- Sep 25, 2023
-
-
Justin Carpentier authored
* doc: debug * doc: debug * [doc/python] Set typename to empty string if type is None. * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --------- Co-authored-by:
Louis Montaut <louismontaut@gmail.com> Co-authored-by:
pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
-
- Jun 19, 2023
-
-
Justin Carpentier authored
-
Justin Carpentier authored
-
- Apr 03, 2022
-
-
Justin Carpentier authored
run `pre-commit run -a`
-
- Feb 15, 2022
-
-
Justin Carpentier authored
-
Justin Carpentier authored
-
Justin Carpentier authored
-
Justin Carpentier authored
-
Justin Carpentier authored
-
- Mar 22, 2021
-
-
Justin Carpentier authored
-
- Mar 21, 2021
-
-
Justin Carpentier authored
-
Justin Carpentier authored
Seems to work well.
-
Justin Carpentier authored
-
- Nov 13, 2020
-
-
Justin Carpentier authored
* doc/python: fix encoding * github: add doc dependencies * doc: fix open * doc/python: use correct seperator * cmake: add missing file * doc/python: more fix * [Doc][Python] Fix file inclusion in generated doc. * cmake: fix linkage issue on Windows * doc: yet another fix for Windows Co-authored-by:
Joseph Mirabel <jmirabel@laas.fr>
-
- Apr 20, 2020
-
-
Joseph Mirabel authored
-
- Mar 24, 2020
-
-
Joseph Mirabel authored
-
- Mar 23, 2020
-
-
Joseph Mirabel authored
-
- Mar 03, 2020
-
-
Joseph Mirabel authored
-
- Feb 28, 2020
-
-
Joseph Mirabel authored
-
- Feb 27, 2020
-
-
Joseph Mirabel authored
-
- Feb 20, 2020
-
-
Joseph Mirabel authored
-
Joseph Mirabel authored
-