citus

Commit Graph

Author	SHA1	Message	Date
Gokhan Gulbiz	ce58c04304	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.	2023-10-31 16:00:10 +01: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

Author

SHA1

Message

Date

Gokhan Gulbiz

ce58c04304

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.

2023-10-31 16:00:10 +01: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 (1debbbf50162b6d8565eb343674cb9d7a92e8cf2)