Skip to content

Merge branch 'main' of https://github.com/andreasdr/yannet #19

Merge branch 'main' of https://github.com/andreasdr/yannet

Merge branch 'main' of https://github.com/andreasdr/yannet #19

Workflow file for this run

name: CI MacOSX
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
build:
runs-on: macos-latest
steps:
- uses: actions/checkout@v2
- name: make mains
run: make mains