Shellcheck · 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

Shellcheck

Actions

Loading...
Loading

1 workflow run

1 workflow run

fix: make the @[lts] attribute attach hover info correctly (#432) Shellcheck #1: Commit 4f2b2d2 pushed by PieterCuijpers

8s main

main

8s