Skip to content

Sparse Vector Mechanism (WIP) #545

Sparse Vector Mechanism (WIP)

Sparse Vector Mechanism (WIP) #545

Workflow file for this run

on:
push:
branches:
- 'main'
pull_request:
name: Verify
jobs:
build:
name: Build
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: leanprover/lean-action@v1
with:
test: false
build-args: "-R -Kwerror"
use-mathlib-cache: true
use-github-cache: false