Merge pull request #32 from humanoid-path-planner/pre-commit-ci-update-config

nim65s · web-flow · commit ae6c4fe748e2 · 2024-07-09T12:10:51.000+02:00
[pre-commit.ci] pre-commit autoupdate
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -1 +1 @@
-include: http://rainboard.laas.fr/project/hpp-practicals/.gitlab-ci.yml
+include: https://rainboard.laas.fr/project/hpp-practicals/.gitlab-ci.yml
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -2,7 +2,7 @@ ci:
   autoupdate_branch: devel
 repos:
 - repo: https://github.com/astral-sh/ruff-pre-commit
-  rev: v0.5.0
+  rev: v0.5.1
   hooks:
   - id: ruff
     args:

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-include: http://rainboard.laas.fr/project/hpp-practicals/.gitlab-ci.yml`
	`1`	`+include: https://rainboard.laas.fr/project/hpp-practicals/.gitlab-ci.yml`