Skip to content

Fix bounds of #[derive(DisjointUnion)] not behaving like identity elements #60

Fix bounds of #[derive(DisjointUnion)] not behaving like identity elements

Fix bounds of #[derive(DisjointUnion)] not behaving like identity elements #60

Workflow file for this run

name: CMake
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
env:
BUILD_TYPE: Release
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install boost
run: sudo apt update && sudo apt install libboost-all-dev
- name: Configure CMake
run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}
- name: Build
run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}
- name: Test
working-directory: ${{github.workspace}}/build
run: ctest -C ${{env.BUILD_TYPE}}