Skip to content

Added bound option to symbolic search engines. Implemented write_plan… #84

Added bound option to symbolic search engines. Implemented write_plan…

Added bound option to symbolic search engines. Implemented write_plan… #84

Workflow file for this run

name: MacOS build
on:
push:
branches:
- master
pull_request:
branches:
- master
workflow_dispatch: # Optional: allows you to manually trigger the workflow from the GitHub UI
jobs:
# Job name
build:
name: MacOS build
runs-on: macos-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v2
- name: Install packages
run: brew install cmake make python3 autoconf automake gcc
- name: Build release
run: ./build.py
- name: Build debug
run: ./build.py debug