Build and Deploy Documentation · Workflow runs · PieterCuijpers/cslib · GitHub

Actions

All workflows
Workflows
- Build and Deploy Documentation Build and Deploy Documentation
- Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing
- Check PR title for commit convention Check PR title for commit convention
- Lean Action CI Lean Action CI
- Merge main to nightly-testing Merge main to nightly-testing
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing.
- Release Release
- Run TODO to Issue Run TODO to Issue
- Shellcheck Shellcheck
- Weekly linting report Weekly linting report
Management
- Caches

Build and Deploy Documentation

Actions

Loading...
Loading

3 workflow runs

3 workflow runs

fix: make the @[lts] attribute attach hover info correctly (#432) Build and Deploy Documentation #3: Commit 4f2b2d2 pushed by PieterCuijpers

1s main

main

1s

fix: broken link the the free monad tutorial (#240) Build and Deploy Documentation #2: Commit ff529e0 pushed by PieterCuijpers

1s main

main

1s

doc: add a description of CI in CONTRIBUTING.md (#213) Build and Deploy Documentation #1: Commit d3d8a37 pushed by PieterCuijpers

1s main

main

1s