Skip to content

chore: update toolchain v4.13.0-rc3 #131

chore: update toolchain v4.13.0-rc3

chore: update toolchain v4.13.0-rc3 #131

Workflow file for this run

name: CI
on:
workflow_dispatch:
pull_request:
branches: ["main"]
push:
branches: ["main", "stable"]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: leanprover/lean-action@v1
with:
test: true
use-mathlib-cache: false