Skip to content

Merge branch 'main' of https://github.com/ChristianGaser/cat12 #217

Merge branch 'main' of https://github.com/ChristianGaser/cat12

Merge branch 'main' of https://github.com/ChristianGaser/cat12 #217

Workflow file for this run

name: Makefile CI
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Run zip
run: make zip