-
Notifications
You must be signed in to change notification settings - Fork 1
47 lines (42 loc) · 1.27 KB
/
ci.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
name: CI
on: [workflow_dispatch, push, pull_request]
jobs:
build_and_test:
runs-on: ubuntu-latest
permissions:
# needed for action-gh-release
contents: write
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Git describe
id: ghd
uses: proudust/gh-describe@v2
- name: Run Lean Action
uses: leanprover/lean-action@v1
env:
GIT_DESCRIBE: ${{ steps.ghd.outputs.describe }}
with:
auto-config: "false"
use-mathlib-cache: "false"
build: "true"
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: '3.x'
- name: Run integration tests
run: |
echo "Testing $(.lake/build/bin/sand version)"
python -m pip install --upgrade pip
pip install pytest
pytest test_daemon.py
- name: Create release archive
env:
GIT_DESCRIBE: ${{ steps.ghd.outputs.describe }}
run: ./create_release_archive.sh
if: startsWith(github.ref, 'refs/tags/v')
- name: Release
uses: softprops/action-gh-release@v2
if: startsWith(github.ref, 'refs/tags/v')
with:
files: release/sand-*-x86_64-linux.tar.zst