-
Notifications
You must be signed in to change notification settings - Fork 10
89 lines (87 loc) · 2.86 KB
/
cli.yml
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
name: CLI
on:
workflow_dispatch:
push:
paths:
- .github/workflows/cli.yml
- atomkraft/**
- template/**
- tests/cli/*.md
- pyproject.toml
- poetry.lock
jobs:
mdx:
strategy:
fail-fast: true
matrix:
os: ["macos-latest"]
python-version: ["3.10"]
runs-on: ${{ matrix.os }}
env:
COSMOS_SDK_TAG: v0.45.8
container: ghcr.io/rnbguy/mdx-docker:nightly
steps:
- name: Restoring after GitHub default container params
run: |
echo "/home/opam/.opam/4.14/bin" >> $GITHUB_PATH
ln -s "/__t" "/opt/hostedtoolcache"
mkdir -p /home/runner
ln -s "/__w" "/home/runner/work"
- name: Check out repository
uses: actions/checkout@v3
- name: Set up python ${{ matrix.python-version }}
id: setup-python
uses: actions/setup-python@v4
with:
python-version: ${{ matrix.python-version }}
- name: Install Poetry
uses: snok/install-poetry@v1
with:
virtualenvs-create: true
virtualenvs-in-project: true
- name: Install java
uses: actions/setup-java@v3
with:
distribution: "temurin"
java-version: 17
- name: Load cached venv
id: cached-poetry-dependencies
uses: actions/cache@v3
with:
path: .venv
key: venv-${{ runner.os }}-${{ steps.setup-python.outputs.python-version }}-${{ hashFiles('poetry.lock') }}
- name: Install dependencies
if: steps.cached-poetry-dependencies.outputs.cache-hit != 'true'
run: poetry install --no-interaction --no-root
- name: Load cached simd
id: cached-simd
uses: actions/cache@v3
with:
path: cosmos-sdk/build
key: simd-${{ runner.os }}-${{ env.COSMOS_SDK_TAG }}
- name: Setup Go 1.19
if: steps.cached-simd.outputs.cache-hit != 'true'
uses: actions/setup-go@v3
with:
go-version: "^1.19"
- name: Compile Cosmos-SDK
if: steps.cached-simd.outputs.cache-hit != 'true'
run: |
git clone --depth 1 --branch "$COSMOS_SDK_TAG" https://github.com/cosmos/cosmos-sdk
cd cosmos-sdk
make build
- name: Put Cosmos-SDK binary in system path
run: |
echo "$(pwd)/cosmos-sdk/build" >> $GITHUB_PATH
- name: Setup Atomkraft and Apalache
run: |
. .venv/bin/activate
poetry install --no-interaction
python -m pip install pyflakes==2.4.0 black pylama[all]
atomkraft model apalache get
- name: Run tests
run: |
. .venv/bin/activate
cd tests/cli
sed -i.bu "s|/dev/|/${{ github.ref_name }}/|g" *md
for f in `ls *md`; do ocaml-mdx test -v "${f}"; [ ! -f "${f}.corrected" ] || (diff -u "${f}" "${f}.corrected" && exit 1); done