Kacper Michajłow 1edc02174f workflows/comment: don't error out on closed pull requests ... If the pull request is not found or is not open, it should not be treated as a critical error. This situation can occur after a merge. There is no reliable way to query a pull request from a workflow_run event, so this has been made a non-error log.		2024-10-21 21:11:24 +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	ci/lint: add python linting	2024-10-06 22:15:08 +02:00