Weekly linting report · Workflow runs · leanprover/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
- Lint and suggest Lint and suggest
- 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.
- Run TODO to Issue Run TODO to Issue
- Weekly linting report Weekly linting report
Management
- Caches

Weekly linting report

Actions

Loading...
Loading

weekly-lints.yml

7 workflow runs

7 workflow runs

Weekly linting report Weekly linting report #7: Scheduled

7m 37s main

main

7m 37s

Weekly linting report Weekly linting report #6: Scheduled

7m 53s main

main

7m 53s

Weekly linting report Weekly linting report #5: Scheduled

7m 5s main

main

7m 5s

Weekly linting report Weekly linting report #4: Manually run by chenson2018

6m 58s main

main

6m 58s

Weekly linting report Weekly linting report #3: Manually run by chenson2018

6m 42s improve-linting-report-format

improve-linting-report-format

6m 42s

Weekly linting report Weekly linting report #2: Manually run by chenson2018

6m 40s improve-linting-report-format

improve-linting-report-format

6m 40s

Weekly linting report Weekly linting report #1: Scheduled

5m 56s main

main

5m 56s