Skip to content

Merge branch 'master' of https://github.com/ARC-OPT/wbc #111

Merge branch 'master' of https://github.com/ARC-OPT/wbc

Merge branch 'master' of https://github.com/ARC-OPT/wbc #111

name: Ubuntu 22.04
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build_and_test_22_04:
runs-on: ubuntu-22.04
steps:
# Check out repository under $GITHUB_WORKSPACE
- uses: actions/checkout@v2
# Build and install
- name: install
run: sh scripts/full_install.sh
# Run all tests
- name: test
run: |
export LD_LIBRARY_PATH=/usr/local/lib
export PYTHONPATH=/usr/local/lib/python3.10/site-packages
cd wbc/build
make test