Skip to content

Commit

Permalink
Merge pull request #917 from processing/different-ci
Browse files Browse the repository at this point in the history
Build libDifferent CI
  • Loading branch information
Stefterv authored Jan 17, 2025
2 parents 342a6eb + d52fb54 commit 55c7736
Showing 1 changed file with 40 additions and 0 deletions.
40 changes: 40 additions & 0 deletions .github/workflows/different.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,40 @@
name: Build libDifferent

on:
push:
branches:
- main
paths:
- 'core/different/different.m'
- 'core/different/Makefile'

jobs:
build-and-pr:
runs-on: macos-latest
permissions:
contents: write
pull-requests: write

steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0

- name: Run make in core/different
run: |
cd core/different
make
- name: Create Pull Request
uses: peter-evans/create-pull-request@v5
with:
commit-message: 'Update generated files from make'
title: 'Update generated files from make'
body: |
This PR was automatically created after changes to:
- core/different/different.m
- core/different/Makefile
The `make` command was run and these are the resulting changes.
branch: auto-different-updates
base: main

0 comments on commit 55c7736

Please sign in to comment.