3 Commits

Author	SHA1	Message	Date
Benoit Marty	d0d30dc6e2	Replace Danger with actions/github-script ... The PR metadata checks move to a new PR Checks workflow, and the lint, ktlint and detekt reports are now surfaced as inline annotations from the quality workflow. This removes the danger-js dependency, its ad-hoc npm installs and the need for the ElementBot token, so the checks also run on pull requests from forks. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>	2026-09-04 15:54:02 +02:00
Benoit Marty	4c61e5dfa2	Remove :samples:minimal module	2024-11-14 09:06:13 +01:00
Benoit Marty	ce12b7f3f7	Draft a documentation about the continuous integration	2023-09-06 09:23:22 +02:00