Skip to content

cbmc: simplify string models a bit, get rid of loops #88

cbmc: simplify string models a bit, get rid of loops

cbmc: simplify string models a bit, get rid of loops #88

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'