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

Change package repository and fix build on mac #459

Merged
merged 1 commit into from
Mar 11, 2021
Merged

Conversation

gianarb
Copy link
Contributor

@gianarb gianarb commented Mar 11, 2021

This is using an old and deprecated package repository. It also fails on
Mac.

@gianarb gianarb added the ready-to-merge Signal to Mergify to merge the PR. label Mar 11, 2021
@gianarb gianarb requested a review from mmlb March 11, 2021 13:01
This is using an old and deprecated package repository. It also fails on
Mac.

Signed-off-by: Gianluca Arbezzano <[email protected]>
@gianarb gianarb removed the request for review from mmlb March 11, 2021 13:04
@codecov
Copy link

codecov bot commented Mar 11, 2021

Codecov Report

Merging #459 (165e623) into master (c4e5d39) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #459   +/-   ##
=======================================
  Coverage   35.82%   35.82%           
=======================================
  Files          47       47           
  Lines        2892     2892           
=======================================
  Hits         1036     1036           
  Misses       1763     1763           
  Partials       93       93           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c4e5d39...165e623. Read the comment docs.

@mergify mergify bot merged commit 0b11911 into master Mar 11, 2021
@mergify mergify bot deleted the chore/bump-nix branch March 11, 2021 13:13
mergify bot added a commit that referenced this pull request Mar 15, 2021
Reverts #459

Not sure why it got merged even if CI/CD is broken @markyjackson-taulia you should no merge that kind of issues and more in general you should leave Mergify doing the actual merge (excluding when a github action workflow changes because it does not merge those PRs)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-to-merge Signal to Mergify to merge the PR.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants