Skip to content

CI

CI #5

Workflow file for this run

name: CI
on:
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Run Lean Action
uses: leanprover/lean-action@v1
with:
auto-config: "false"
use-mathlib-cache: "false"
build: "true"
- name: Create package
run: |
mkdir package
cp .lake/build/bin/sand .lake/build/bin/sandd package/
cp -r systemd package/
strip package/sand
strip package/sandd
- name: Upload artefact
uses: actions/[email protected]
with:
name: sand
path: package/