Skip to content

Abstracter and matcher for Mux to Merge when in order rewrite. Test s… #83

Abstracter and matcher for Mux to Merge when in order rewrite. Test s…

Abstracter and matcher for Mux to Merge when in order rewrite. Test s… #83

Workflow file for this run

name: CI
on:
push:
branches: ["main"] # replace "main" with the default branch
pull_request:
branches: ["main"]
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
# uses lean standard action with all default input values
- uses: leanprover/lean-action@v1