Simon Bruder b804c634f4 Remove ignored paths for build workflow ... Since we have mandatory status checks enabled for pull requests, this previously caused this action to not run, in turn reporting “Expected — Waiting for status to be reported” on any PR that only changes the ignored files. This change will likely lead to a minor increase in build volume. However, considering the fraction of cases in which only those files are changed, it should be negligible.		2024-01-20 00:44:00 +01:00
..
build.yml	Remove ignored paths for build workflow	2024-01-20 00:44:00 +01:00
check.yml	Make project REUSE compliant	2023-12-11 17:59:14 +01:00