v0.4.2
[a37d998] chore: bump version to v0.4.2 (Bence Dányi)
[40bff6b] chore: run linter for PRs (Bence Dányi)
[a3140dc] fix: skip result checker for missing tasks (Bence Dányi)
[54d7bf1] fix: skip checking results for tasks that are not loaded (Tails128)
[ef9c14a] fix: merge project-specific config with defaults (Szabolcs Szabolcsi-Tóth)
[a3a1106] chore: remove internal github plumbing (Bence Dányi)