Skip to content
CI

Proof of Konig's Theorem & Berge's Theorem, and a definition of "augmenters" for matchings. #290

Sign in to view logs

Proof of Konig's Theorem & Berge's Theorem, and a definition of "augmenters" for matchings.

Proof of Konig's Theorem & Berge's Theorem, and a definition of "augmenters" for matchings. #290

Workflow file for this run

.github/workflows/build.yml at e52f005
name: CI
on:
push:
pull_request:
workflow_dispatch:
permissions:
contents: read
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout project
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
- name: Build and lint the project
id: build-lean
uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # v1.2.0