David Taylor 488b8b369a DEV: Fix syntax_tree in GitHub CI ... This broke because of directory ownership errors during `git ls-files`. This commit fixes the permissions and adds bash flags so that those kind of errors will blow up the step in future.		2023-02-02 13:03:11 +00:00
..
documentation.yml	DEV: introduces documentation for chat (#19772)	2023-01-18 12:36:16 +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