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

chore: update cargo-llvm-cov #5302

Merged
merged 2 commits into from
May 16, 2024
Merged

Conversation

dpc
Copy link
Contributor

@dpc dpc commented May 15, 2024

We were using one built ourselves to have newer version, but since then nixpkgs has an even newer version.

Before:

> cargo-llvm-cov llvm-cov -V
cargo-llvm-cov 0.5.31

After:

> cargo-llvm-cov llvm-cov -V
cargo-llvm-cov 0.6.9

@dpc dpc requested a review from a team as a code owner May 15, 2024 19:25
@dpc dpc enabled auto-merge May 15, 2024 21:49
elsirion
elsirion previously approved these changes May 16, 2024
@dpc dpc added this pull request to the merge queue May 16, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks May 16, 2024
dpc added 2 commits May 16, 2024 09:03
We were using one built ourselves to have newer version, but
since then nixpkgs has an even newer version.

Before:

```
> cargo-llvm-cov llvm-cov -V
cargo-llvm-cov 0.5.31
```

After:

```
> cargo-llvm-cov llvm-cov -V
cargo-llvm-cov 0.6.9
```
@dpc dpc force-pushed the 24-05-15-update-llmv-cov branch from baeb111 to a89939a Compare May 16, 2024 16:21
@dpc dpc requested a review from elsirion May 16, 2024 16:24
@dpc dpc enabled auto-merge May 16, 2024 16:24
@dpc
Copy link
Contributor Author

dpc commented May 16, 2024

Added a fix for macos.

@dpc dpc added this pull request to the merge queue May 16, 2024
Merged via the queue into fedimint:master with commit 81da7c6 May 16, 2024
21 checks passed
@dpc dpc deleted the 24-05-15-update-llmv-cov branch May 16, 2024 16:41
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.

2 participants