Skip to content

chore: Use Option.get instead of Options.get (#154) #31

chore: Use Option.get instead of Options.get (#154)

chore: Use Option.get instead of Options.get (#154) #31

Workflow file for this run

name: CI
on:
pull_request:
push:
branches:
- master
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: checkout
uses: actions/checkout@v4
- name: lean action
uses: leanprover/lean-action@v1
with:
build-args: "--log-level=warning"