Skip to content
Build Iris Lean

Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules #101

Sign in to view logs

Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules

Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules #101

Workflow file for this run

.github/workflows/build.yml at 965589e
name: Build Iris Lean
on:
push:
branches: ["master"]
pull_request:
branches: ["master"]
workflow_dispatch:
jobs:
cancel:
name: "Cancel Previous Runs"
runs-on: ubuntu-latest
steps:
- uses: styfle/cancel-workflow-action@0.12.1
with:
all_but_latest: true
access_token: ${{ github.token }}
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
# uses lean standard action with all default input values
- uses: leanprover/lean-action@v1