.github/workflows/approval-check.yml · Workflow runs · google-deepmind/formal-conjectures · GitHub

Actions

All workflows
Workflows
- Build Lean project and deploy docs Build Lean project and deploy docs
- .github/workflows/approval-check.yml .github/workflows/approval-check.yml
- .github/workflows/lean-release-tag.yml .github/workflows/lean-release-tag.yml
- Check Copyright Header Check Copyright Header
- Check for README file Check for README file
- Google GitHub Admin: Actions Workflow Security Scan Google GitHub Admin: Actions Workflow Security Scan
- Notify erdosproblems of update Notify erdosproblems of update
- Pull Request Labeler Pull Request Labeler
Management
- Caches
- Deployments

.github/workflows/approval-check.yml

Actions

Loading...
Loading

1 workflow run

1 workflow run

approval check workflow .github/workflows/approval-check.yml #1: Pull request #667 opened by mo271

50s mo271:approval_check

mo271:approval_check

50s