Skip to content

Commit da34a79

Browse files
committed
Add back generate_bindings CI file
1 parent 8e024e7 commit da34a79

File tree

1 file changed

+51
-0
lines changed

1 file changed

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

0 commit comments

Comments
 (0)