-
Notifications
You must be signed in to change notification settings - Fork 3
59 lines (50 loc) · 1.66 KB
/
Copy pathci.yml
File metadata and controls
59 lines (50 loc) · 1.66 KB
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
52
53
54
55
56
57
58
59
name: misc-check
on:
push:
branches:
- main
pull_request:
merge_group:
jobs:
misc-check:
continue-on-error: true
runs-on: ubuntu-latest
env:
FORCE_COLOR: 1
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: install moonbit
run: |
curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash
echo "$HOME/.moon/bin" >> $GITHUB_PATH
- name: moon update
run: moon update && moon install
- name: format diff
run: moon fmt && git diff --exit-code
- name: lint
run: moon check --deny-warn
- name: moon info
run: |
moon info --target wasm,wasm-gc,js,native
git diff --exit-code
- name: moon test
run: moon test
# - name: moon test
# run: moon test --enable-coverage
# - name: coverage report
# run: |
# moon coverage report -f summary > coverage_summary.txt
# # Put the coverage report in the pipeline output
# cat coverage_summary.txt >> "$GITHUB_STEP_SUMMARY"
# # We don't use the official coveralls upload tool because it takes >1min to build itself
# moon coverage report \
# -f coveralls \
# -o codecov_report.json \
# --service-name github \
# --service-job-id "$GITHUB_RUN_NUMBER" \
# ${{ github.event_name == 'pull_request' && format('--service-pull-request {0}', github.event.number) || '' }} \
# --send-to coveralls
# env:
# COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }}