Skip to content

lib/monads: use experiment for demo lemmas #3300

lib/monads: use experiment for demo lemmas

lib/monads: use experiment for demo lemmas #3300

Workflow file for this run

# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
# Actions to run on Push and Pull Request
name: CI
on:
push:
branches:
- master
- rt
- aarch64
pull_request:
# for testing:
workflow_dispatch:
jobs:
check:
name: License Check
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/license-check@master
with:
token: ${{ secrets.READ_TOKEN }}
links:
name: Links
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/link-check@master
with:
token: ${{ secrets.READ_TOKEN }}
# produces 403 for link checkers now:
exclude_urls: ".*haskellstack.org.*"