PR Summary · Workflow runs · erdkocak/CompPoly · GitHub

Actions

All workflows
Workflows
- Add Lean release tag Add Lean release tag
- Check Imports Check Imports
- Docs Integrity Docs Integrity
- Lean Action CI Lean Action CI
- Lint Style Lint Style
- PR Review PR Review
- PR Summary PR Summary
- Update Lean Project Update Lean Project
Management
- Caches

PR Summary

Actions

Loading...
Loading

1 workflow run

1 workflow run

Fix NTT test lint violations PR Summary #1: Pull request #7 opened by erdkocak

22s

22s