File tree Expand file tree Collapse file tree 1 file changed +47
-0
lines changed Expand file tree Collapse file tree 1 file changed +47
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : CI
2
+
3
+ on :
4
+ push :
5
+ branches : [master]
6
+ # See https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#filter-pattern-cheat-sheet
7
+ tags :
8
+ - " v[0-9]+.[0-9]+.[0-9]+"
9
+ - " v[0-9]+.[0-9]+.[0-9]+-*"
10
+
11
+ pull_request :
12
+ branches : [master]
13
+
14
+ concurrency :
15
+ group : ci-${{ github.ref }}-1
16
+ # Cancel previous builds for pull requests only.
17
+ cancel-in-progress : ${{ github.event_name == 'pull_request' }}
18
+
19
+ jobs :
20
+ build :
21
+ strategy :
22
+ fail-fast : false
23
+ matrix :
24
+ os : [
25
+ macos-13, # x64
26
+ macos-14, # ARM
27
+ ubuntu-latest, # x64
28
+ buildjet-2vcpu-ubuntu-2204-arm, # ARM
29
+ windows-latest,
30
+ ]
31
+
32
+ runs-on : ${{matrix.os}}
33
+
34
+ steps :
35
+ - name : Checkout
36
+ uses : actions/checkout@v4
37
+
38
+ - name : Use Node.js
39
+ uses : actions/setup-node@v4
40
+ with :
41
+ node-version : 18
42
+
43
+ - name : NPM install
44
+ run : npm ci
45
+
46
+ - name : Build
47
+ run : npx rescript
You can’t perform that action at this time.
0 commit comments