citus

Author SHA1 Message Date

Author	SHA1	Message	Date
Gokhan Gulbiz	8700e9d946	Disable CircleCI (#7276 ) We are switching to Github Actions. In the test period it has worked well enough, so now we can stop using CircleCI. (cherry picked from commit `ce58c04304`)	2023-11-01 16:38:21 +03:00
Jelte Fennema	8ab47f4f37	Add a CI check to see if all tests are part of a schedule (#3959 ) I recently forgot to add tests to a schedule in two of my PRs. One of these was caught by review, but the other one was not. This adds a script to causes CI to ensure that each test in the repo is included in at least one schedule. Three tests were found that were currently not part of a schedule. This PR adds those three tests to a schedule as well and it also fixes some small issues with these tests.	2020-07-03 11:34:55 +02:00

Gokhan Gulbiz

Disable CircleCI (#7276 )

We are switching to Github Actions. In the test period it has worked well enough, so now we can stop using CircleCI.

(cherry picked from commit ce58c04304)

2023-11-01 16:38:21 +03:00

Jelte Fennema

8ab47f4f37

Add a CI check to see if all tests are part of a schedule (#3959 )

I recently forgot to add tests to a schedule in two of my PRs. One of
these was caught by review, but the other one was not. This adds a
script to causes CI to ensure that each test in the repo is included in
at least one schedule.

Three tests were found that were currently not part of a schedule. This PR
adds those three tests to a schedule as well and it also fixes some small
issues with these tests.

2020-07-03 11:34:55 +02:00

2 Commits (b8dc26c7c1051d1a7ba8f998d73285086894df4e)