 Wolfgang WaltherandWolfgang Walther
|
073280ad32
|
ci: Require docs job to pass before making a release
|
2024-02-22 20:12:18 +01:00 |
|
|
Wolfgang WaltherandWolfgang Walther
|
333f8cf592
|
ci: Cancel all workflows consistently in pull requests without blocking main
The previous setup would cause multiple commits on main to be stuck in a pending
state, waiting for the previous run to be finished.
The new group specification is taken from:
https://docs.github.com/en/actions/using-jobs/using-concurrency#example-using-a-fallback-value
This also adds the same settings for the docs workflow.
|
2024-02-22 20:12:18 +01:00 |
|
|
Laurence IslaandWolfgang Walther
|
a1f2ecadda
|
nix: Move docs tools into core infrastructure
|
2024-02-18 13:10:00 +01:00 |
|
|
Wolfgang Walther
|
75a86ba873
|
ci: Change names for release branches from rel-MAJOR.MINOR to vMAJOR
This naming scheme gives us the best support for readthedocs.
References #2814
|
2024-02-17 17:43:03 +01:00 |
|
|
Wolfgang Walther
|
4954859d68
|
chore: Prepare merge of postgrest-docs into postgrest main repo
This avoids some merge conflicts to allow git blame to detect renames properly.
|
2024-02-17 13:43:50 +01:00 |
|