Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Disable CircleCI #7276

Merged
merged 4 commits into from
Oct 31, 2023
Merged

Disable CircleCI #7276

merged 4 commits into from
Oct 31, 2023

Conversation

gokhangulbiz
Copy link
Contributor

@gokhangulbiz gokhangulbiz commented Oct 25, 2023

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

@codecov
Copy link

codecov bot commented Oct 25, 2023

Codecov Report

Merging #7276 (a8c4d38) into main (83e3fb8) will decrease coverage by 3.65%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #7276      +/-   ##
==========================================
- Coverage   93.22%   89.58%   -3.65%     
==========================================
  Files         275      275              
  Lines       59527    59572      +45     
  Branches        0     7423    +7423     
==========================================
- Hits        55495    53366    -2129     
- Misses       4032     4080      +48     
- Partials        0     2126    +2126     

@gokhangulbiz gokhangulbiz force-pushed the gokhangulbiz/disable-circleci branch 3 times, most recently from e583c94 to 3cac4ce Compare October 30, 2023 09:25
@gokhangulbiz gokhangulbiz marked this pull request as ready for review October 31, 2023 13:04
@JelteF JelteF enabled auto-merge (squash) October 31, 2023 14:46
@JelteF JelteF merged commit ce58c04 into main Oct 31, 2023
126 of 127 checks passed
@JelteF JelteF deleted the gokhangulbiz/disable-circleci branch October 31, 2023 15:00
onurctirtir pushed a commit to c2main/citus that referenced this pull request Oct 31, 2023
We are switching to Github Actions. In the test period it has worked well enough, so now we can stop using CircleCI.
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 1, 2023
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 ce58c04)
gokhangulbiz added a commit that referenced this pull request Nov 2, 2023
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 ce58c04)
francisjodi pushed a commit that referenced this pull request Nov 13, 2023
We are switching to Github Actions. In the test period it has worked well enough, so now we can stop using CircleCI.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants