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

Update CI #18

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Update CI #18

wants to merge 4 commits into from

Conversation

FreezyLemon
Copy link

@FreezyLemon FreezyLemon commented Apr 1, 2024

Closes #15.

Prerequisite:

  • Create a codecov token for rust-av/av1-grain
  • Add it as a secret called CODECOV_TOKEN to this repository

Changes:

  • Run all CI on ubuntu (no platform-specific code)
  • Switch to codecov
  • Update MIRIFLAGS

Removed:

  • valgrind, fuzzing (stubs)
  • rust-code-analysis
  • weighted-code-coverage

rust-code-analysis and weighted-code-coverage could arguably be added back, but I'm not sure it's necessary to run these in CI.

@FreezyLemon
Copy link
Author

Should probably fix clippy errors first, to see the actual CI runs.

- Run all CI on ubuntu (no platform-specific code)
- Switch to codecov
- Update MIRIFLAGS

Remove:
- valgrind/fuzzing (stubs)
- rust-code-analysis and
- weighted-code-coverage
- Remove anyhow::Error field from Error variant
- Rename/move to solver::NoiseModelStatus
Copy link

codecov bot commented Apr 1, 2024

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@FreezyLemon
Copy link
Author

Looks like it still expects the old CI checks before auto-merge is allowed. That might be a github repo setting?

@FreezyLemon
Copy link
Author

@lu-zero I am not sure who has the permissions for this, but can you add a codecov token for this repository (instructions)? Or maybe ping someone who can? Thanks in advance

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.

Update the CI
1 participant