der richter e661165ead github/workflows: add editorconfig linting

2024-10-24 17:40:26 +02:00

..

build.yml

workflows/build: remove safe.directory git config

2024-10-21 21:02:38 +02:00

cleanup_caches.yml

workflows/cleanup_caches: minor cosmetic changes

2024-05-20 18:04:54 +02:00

comment.yml

workflows/comment: don't error out on closed pull requests

2024-10-21 21:11:24 +02:00

docs.yml

github/workflows: generate html and pdf in docs job as well

2024-03-06 22:49:07 +00:00

fuzz.yml

workflows/fuzz: report OOMs and timeouts

2024-08-07 13:09:21 +02:00

lint.yml

github/workflows: add editorconfig linting

2024-10-24 17:40:26 +02:00