Taimoor ZaeemandWolfgang Walther 330df05891 ci: only run commitlint on github PRs ...

The `commitlint` script disrupts our release workflow if failed
on push event. We also don't need it on push because once pushed,
git commit history can't be amended.

2025-06-18 17:03:04 +00:00

..

build.yaml

chore(deps): update haskell-actions/setup action to v2.8.0

2025-05-14 19:41:02 +00:00

check.yaml

ci: only run commitlint on github PRs

2025-06-18 17:03:04 +00:00

ci.yaml

ci: Split ci into ci and release workflows

2025-01-18 18:01:35 +01:00

docs.yaml

chore(deps): update dependency ubuntu to v24

2024-11-13 14:41:23 +01:00

linkcheck.yaml

chore(deps): update dependency ubuntu to v24

2024-11-13 14:41:23 +01:00

release.yaml

chore(deps): update docker/setup-buildx-action action to v3.11.0

2025-06-17 20:36:39 +00:00

test.yaml

nix: add group to postgrest-loadtest-report

2025-06-17 17:58:49 -05:00