chore: show smt is loading (#6313) #1485
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
--- | |
# Notes for this action: | |
# Restoring caches is largely useless, since the compiler flags are only useful for code coverage runs. | |
# This GA is self-hosted, and has local caching solutions. | |
name: Source Coverage | |
'on': | |
push: | |
branches: | |
- development | |
- ci-coverage-* | |
env: | |
toolchain: nightly-2024-02-04 | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.ref }} | |
cancel-in-progress: true | |
jobs: | |
coverage: | |
name: test and generate coverage | |
runs-on: [ self-hosted, ubuntu-high-mem ] | |
steps: | |
- name: checkout source code | |
uses: actions/checkout@v4 | |
- name: ubuntu dependencies | |
run: | | |
sudo apt-get update | |
sudo bash scripts/install_ubuntu_dependencies.sh | |
- uses: dtolnay/rust-toolchain@master | |
with: | |
toolchain: nightly | |
- name: run tests with coverage | |
# Prepare the coverage data, even if some tests fail | |
continue-on-error: true | |
run: bash -c ./scripts/source_coverage.sh | |
- name: Coveralls upload | |
uses: coverallsapp/github-action@v2 | |
with: | |
github-token: ${{ secrets.GITHUB_TOKEN }} | |
format: lcov | |
file: lcov.info | |