Skip to content

Commit a571972

Browse files
jmidjmid
authored
Merge pull request #429 from ocaml-multicore/branch-5.2
Separate workflows for the 5.2 branch
2 parents 8fabe06 + cfe59f0 commit a571972

29 files changed

+291
-37
lines changed

‎.github/workflows/cygwin-51x.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: Cygwin 5.1
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

‎.github/workflows/cygwin-520-trunk.yml

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
1-
name: Cygwin trunk
1+
name: Cygwin 5.2
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:
@@ -9,5 +14,5 @@ jobs:
914
runs_on: windows-latest
1015
compiler: ocaml.5.2.0
1116
cygwin: true
12-
compiler_git_ref: refs/heads/trunk
17+
compiler_git_ref: refs/heads/5.2
1318
timeout: 360

‎.github/workflows/cygwin-530-trunk.yml

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
name: Cygwin trunk
2+
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
9+
10+
jobs:
11+
build:
12+
uses: ./.github/workflows/common.yml
13+
with:
14+
runs_on: windows-latest
15+
compiler: ocaml.5.3.0
16+
cygwin: true
17+
compiler_git_ref: refs/heads/trunk
18+
timeout: 360

‎.github/workflows/linux-51x-32bit.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: 32bit 5.1
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

‎.github/workflows/linux-51x-bytecode.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: Bytecode 5.1
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

‎.github/workflows/linux-51x-debug.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: Linux 5.1 debug
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

‎.github/workflows/linux-51x-fp.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: FP 5.1
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

‎.github/workflows/linux-51x.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: Linux 5.1
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

‎.github/workflows/linux-520-trunk-32bit.yml

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,16 @@
1-
name: 32bit trunk
1+
name: 32bit 5.2
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:
712
uses: ./.github/workflows/common.yml
813
with:
914
compiler: 'ocaml-variants.5.2.0+trunk,ocaml-option-32bit'
10-
compiler_git_ref: refs/heads/trunk
15+
compiler_git_ref: refs/heads/5.2
1116
timeout: 240

‎.github/workflows/linux-520-trunk-bytecode.yml

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,16 @@
1-
name: Bytecode trunk
1+
name: Bytecode 5.2
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:
712
uses: ./.github/workflows/common.yml
813
with:
914
compiler: 'ocaml-variants.5.2.0+trunk,ocaml-option-bytecode-only'
10-
compiler_git_ref: refs/heads/trunk
15+
compiler_git_ref: refs/heads/5.2
1116
timeout: 240

‎.github/workflows/linux-520-trunk-debug.yml

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,18 @@
1-
name: Linux trunk debug
1+
name: Linux 5.2 debug
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:
712
uses: ./.github/workflows/common.yml
813
with:
914
compiler: 'ocaml-variants.5.2.0+trunk'
10-
compiler_git_ref: refs/heads/trunk
15+
compiler_git_ref: refs/heads/5.2
1116
dune_profile: 'debug-runtime'
1217
runparam: 's=4096,v=0,V=1'
1318
timeout: 240

‎.github/workflows/linux-520-trunk-fp.yml

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,16 @@
1-
name: FP trunk
1+
name: FP 5.2
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:
712
uses: ./.github/workflows/common.yml
813
with:
914
compiler: 'ocaml-variants.5.2.0+trunk,ocaml-option-fp'
10-
compiler_git_ref: refs/heads/trunk
15+
compiler_git_ref: refs/heads/5.2
1116
timeout: 240

‎.github/workflows/linux-520-trunk.yml

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,15 @@
1-
name: Linux trunk
1+
name: Linux 5.2
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:
712
uses: ./.github/workflows/common.yml
813
with:
914
compiler: 'ocaml-variants.5.2.0+trunk'
10-
compiler_git_ref: refs/heads/trunk
15+
compiler_git_ref: refs/heads/5.2

‎.github/workflows/linux-530-trunk-32bit.yml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
name: 32bit trunk
2+
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
9+
10+
jobs:
11+
build:
12+
uses: ./.github/workflows/common.yml
13+
with:
14+
compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-32bit'
15+
compiler_git_ref: refs/heads/trunk
16+
timeout: 240

‎.github/workflows/linux-530-trunk-bytecode.yml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
name: Bytecode trunk
2+
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
9+
10+
jobs:
11+
build:
12+
uses: ./.github/workflows/common.yml
13+
with:
14+
compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-bytecode-only'
15+
compiler_git_ref: refs/heads/trunk
16+
timeout: 240

‎.github/workflows/linux-530-trunk-debug.yml

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
name: Linux trunk debug
2+
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
9+
10+
jobs:
11+
build:
12+
uses: ./.github/workflows/common.yml
13+
with:
14+
compiler: 'ocaml-variants.5.3.0+trunk'
15+
compiler_git_ref: refs/heads/trunk
16+
dune_profile: 'debug-runtime'
17+
runparam: 's=4096,v=0,V=1'
18+
timeout: 240

‎.github/workflows/linux-530-trunk-fp.yml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
name: FP trunk
2+
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
9+
10+
jobs:
11+
build:
12+
uses: ./.github/workflows/common.yml
13+
with:
14+
compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-fp'
15+
compiler_git_ref: refs/heads/trunk
16+
timeout: 240

‎.github/workflows/linux-530-trunk.yml

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
name: Linux trunk
2+
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
9+
10+
jobs:
11+
build:
12+
uses: ./.github/workflows/common.yml
13+
with:
14+
compiler: 'ocaml-variants.5.3.0+trunk'
15+
compiler_git_ref: refs/heads/trunk

‎.github/workflows/macosx-51x.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: macOS 5.1
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

‎.github/workflows/macosx-520-trunk.yml

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,16 @@
1-
name: macOS trunk
1+
name: macOS 5.2
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:
712
uses: ./.github/workflows/common.yml
813
with:
914
compiler: 'ocaml-variants.5.2.0+trunk'
10-
compiler_git_ref: refs/heads/trunk
15+
compiler_git_ref: refs/heads/5.2
1116
runs_on: 'macos-latest'

‎.github/workflows/macosx-530-trunk.yml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
name: macOS trunk
2+
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
9+
10+
jobs:
11+
build:
12+
uses: ./.github/workflows/common.yml
13+
with:
14+
compiler: 'ocaml-variants.5.3.0+trunk'
15+
compiler_git_ref: refs/heads/trunk
16+
runs_on: 'macos-latest'

‎.github/workflows/mingw-51x-bytecode.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: MinGW bytecode 5.1
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

‎.github/workflows/mingw-51x.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
name: MinGW 5.1
22

3-
on: [push, pull_request, workflow_dispatch]
3+
on:
4+
pull_request:
5+
push:
6+
branches:
7+
- main
8+
workflow_dispatch:
49

510
jobs:
611
build:

0 commit comments

Comments
 (0)