citus

Commit Graph

Author	SHA1	Message	Date
Gokhan Gulbiz	bdf0a4effe	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-11-13 13:29:11 -05: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

bdf0a4effe

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-11-13 13:29:11 -05: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 (712d15dc20fc79742e962b2b66e285ffa3188452)