|
|
d1ac6c2fe1
|
build: limit check for edits of autogenerated files to only commits in a pull request
|
2025-07-17 16:20:38 +02:00 |
|
|
|
da9c99272c
|
build: extend check for edits of autogenerated files to all commits in a pull request
|
2025-07-17 16:20:38 +02:00 |
|
|
|
51fd697c7a
|
build: fix check_autogenerated_edits.py flagging up files that didn't exist
Before this change new backend docs would have their changes flagged
which is undesirable for the first revision.
|
2025-06-05 16:37:01 +01:00 |
|
|
|
6a7e68aaf2
|
build: check docs for edits of autogenerated sections
This adds a lint step which checks the top commit for edits to
autogenerated doc sections.
|
2025-03-10 22:07:19 +00:00 |
|
