This repository has been archived on 2023-03-18. You can view files and clone it, but cannot push or open issues or pull requests.

Joffrey JAFFEUX a5e45d90fe DEV: removes github page documentation page generation (#20268) ... It was causing errors on C, will need to investigate a better solution in the future.		2023-02-13 19:39:05 +01:00
..
labeler.yml	DEV: Automatically label chat PRs (#18843)	2022-11-02 15:43:59 +00:00
licenses.yml	DEV: Correct private-fork -> private-mirror (#19560)	2022-12-21 16:52:35 +00:00
linting.yml	DEV: Fix syntax_tree in GitHub CI	2023-02-02 13:03:11 +00:00
tests.yml	DEV: Fix GitHub CI permissions issues (#20069)	2023-01-30 15:39:43 +00:00