feat: hare preround proposal compaction (#6129) #7226
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Code Coverage | |
on: | |
# Allow manually triggering this workflow | |
workflow_dispatch: | |
pull_request: | |
push: | |
branches: | |
- develop | |
jobs: | |
filter-changes: | |
runs-on: ubuntu-22.04 | |
outputs: | |
nondocchanges: ${{ steps.filter.outputs.nondoc }} | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
ssh-key: ${{ secrets.GH_ACTION_PRIVATE_KEY }} | |
- uses: dorny/paths-filter@v3 | |
id: filter | |
with: | |
# this pattern matches using picomatch syntax (used by this third party Action), which is slightly | |
# different than GitHub syntax: it matches any file in any path ending in '.md'. this checks if | |
# any non-markdown files were changed. | |
filters: | | |
nondoc: | |
- '!**/*.md' | |
coverage: | |
runs-on: ubuntu-22.04 | |
needs: filter-changes | |
if: ${{ needs.filter-changes.outputs.nondocchanges == 'true' }} | |
steps: | |
- name: disable TCP/UDP offload | |
run: | | |
sudo ethtool -K eth0 tx off | |
sudo ethtool -K eth0 rx off | |
- uses: actions/checkout@v4 | |
with: | |
lfs: true | |
ssh-key: ${{ secrets.GH_ACTION_PRIVATE_KEY }} | |
- uses: extractions/netrc@v2 | |
with: | |
machine: github.com | |
username: ${{ secrets.GH_ACTION_TOKEN_USER }} | |
password: ${{ secrets.GH_ACTION_TOKEN }} | |
if: vars.GOPRIVATE | |
- name: set up go | |
uses: actions/setup-go@v5 | |
with: | |
check-latest: true | |
go-version-file: "go.mod" | |
- name: Add OpenCL support - Ubuntu | |
run: sudo apt-get update -q && sudo apt-get install -qy ocl-icd-opencl-dev libpocl2 | |
- name: setup env | |
run: make install | |
- name: test coverage | |
run: make cover | |
- name: Upload to codecov.io | |
uses: codecov/codecov-action@v4 | |
with: | |
token: ${{ secrets.CODECOV_TOKEN }} | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |