Skip to content

Remove outdated import #593

Remove outdated import

Remove outdated import #593

Workflow file for this run

name: CI
on: [push, pull_request, workflow_dispatch]
jobs:
build:
name: ${{ matrix.name }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
include:
- name: Linux-x86_64
os: ubuntu-latest
- name: macOS-aarch64
os: macos-latest
- name: macOS-x86_64
os: macos-13
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Build and Test lean-smt
uses: leanprover/lean-action@v1
with:
build-args: "Smt Smt.Auto Smt.Rat Smt.Real"
use-github-cache: false