-
Notifications
You must be signed in to change notification settings - Fork 0
51 lines (47 loc) · 1.3 KB
/
generate_bindings.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
name: Generate Bindings
on:
workflow_dispatch:
push:
branches: [main]
paths:
- .github/workflows/generate_bindings.yml
- gen/**
pull_request:
branches: [main]
paths:
- .github/workflows/generate_bindings.yml
- gen/**
concurrency:
group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
cancel-in-progress: true
jobs:
generate-bindings:
name: Generate bindings
runs-on: ubuntu-22.04
timeout-minutes: 20
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v1
with:
version: "1.10.2"
- name: Run the generator
run: ./gen/generate.sh
- name: Create Pull Request (on push)
if: ${{ github.event_name == 'push' }}
uses: peter-evans/create-pull-request@v6
with:
commit-message: "Regenerate bindings"
title: "Regenerate bindings"
reviewers: |
quinnj
Octogonapus
- name: Create Pull Request (on PR)
if: ${{ github.event_name == 'pull_request' }}
uses: peter-evans/create-pull-request@v6
with:
base: ${{ github.head_ref }}
commit-message: "Regenerate bindings"
title: "Regenerate bindings"
reviewers: |
quinnj
Octogonapus