Skip to content

Commit 9091728

Browse files
committed
Add dev build workflow
1 parent 0d16b92 commit 9091728

File tree

1 file changed

+45
-0
lines changed

1 file changed

+45
-0
lines changed

.github/workflows/dev-build.yml

+45
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
name: Dev Build
2+
3+
on:
4+
workflow_dispatch:
5+
inputs:
6+
dry_run:
7+
description: "Dry run"
8+
type: boolean
9+
default: true
10+
upgrade_cairols:
11+
description: "Upgrade CairoLS"
12+
type: boolean
13+
default: false
14+
upgrade_cairolint:
15+
description: "Upgrade CairoLint"
16+
type: boolean
17+
default: false
18+
# upgrade_stwo:
19+
# description: "Upgrade Stwo"
20+
# type: boolean
21+
# default: false
22+
include_cairols:
23+
description: "Include CairoLS in build"
24+
type: boolean
25+
default: true
26+
include_stwo:
27+
description: "Include Stwo in build"
28+
type: boolean
29+
default: true
30+
include_lint:
31+
description: "Include CairoLint in build"
32+
type: boolean
33+
default: true
34+
35+
jobs:
36+
dev-build:
37+
uses: ./.github/workflows/nightly.yml
38+
with:
39+
dry_run: ${{ inputs.dry_run }}
40+
upgrade_cairols: ${{ inputs.upgrade_cairols }}
41+
upgrade_cairolint: ${{ inputs.upgrade_cairolint }}
42+
#upgrade_stwo: ${{ inputs.upgrade_stwo }}
43+
include_cairols: ${{ inputs.include_cairols }}
44+
include_stwo: ${{ inputs.include_stwo }}
45+
include_lint: ${{ inputs.include_lint }}

0 commit comments

Comments
 (0)