name: Continuous integration

on:
  push:
    branches: [ main, testci ]
  pull_request:

env:
  CARGO_TERM_COLOR: always
jobs:
  check-concrete-optimizer:
    runs-on: ubuntu-20.04
    env:
      RUSTFLAGS: -D warnings
    steps:
      - uses: actions/checkout@v3

      - name: "Setup"
        uses: ./.github/workflows/setup
        with:
          ssh_private_key: ${{ secrets.CONCRETE_COMPILER_CI_SSH_PRIVATE }}

      - name: Formatting
        run: cargo fmt --check

      - name: Build
        run: cargo build --all-targets

      - name: Lint
        run: cargo clippy --all-targets

      - name: Tests
        run: |
          cargo test --release --no-fail-fast --all-targets
          make -C concrete-optimizer-cpp test-ci