Skip to content

ci: Fix debian release workflow #546

ci: Fix debian release workflow

ci: Fix debian release workflow #546

Workflow file for this run

name: Code formatting quality and testing
on:
push:
branches:
- main
pull_request:
branches:
- main
pull_request_review:
types:
- submitted
jobs:
Format:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Install nix
uses: nixbuild/nix-quick-install-action@v29
- name: Run clang-format
run: nix-shell --run 'make format-dry-run'
Test:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Install nix
uses: nixbuild/nix-quick-install-action@v29
- name: Build debug executable
run: nix-shell --run 'CXX=clang++ make build GCOV=1'
- name: Run tests_runner
run: nix-shell --run 'make coverage'
- name: "Upload coverage report"
uses: actions/upload-artifact@v4
with:
name: coverage-report
path: compiler/tests/reports
retention-days: 5