Skip to content

define __CPROVER macros even on __sun #79

define __CPROVER macros even on __sun

define __CPROVER macros even on __sun #79

Workflow file for this run

name: build-macos
on: [push]
jobs:
build-macos11:
runs-on: macos-12
steps:
- uses: actions/checkout@v2
- run: make && sudo make package
- uses: actions/upload-artifact@v3
with:
name: macos12
path: 'macosx/pivy-*.pkg'