Workflow pipelines¶
GitHub Actions automation workflows declared in .github/workflows/.
| Workflow | Triggers | Jobs |
|---|---|---|
| Auto Format | push, workflow_dispatch, workflow_call | format |
| Autonomous Agent | issues, issue_comment, pull_request_review_comment, repository_dispatch, workflow_dispatch, workflow_call | run-agent |
| CI | push, pull_request, workflow_dispatch, workflow_call | pipeline, rust, paper, math, web, harness, docs |
| Deploy Documentation | push, workflow_dispatch, workflow_call | deploy |
| Install Pipeline | workflow_dispatch | install |
| Open Pull Request | workflow_dispatch, workflow_call | open-pr |
| PR Approval and Auto-Merge | pull_request_review, issue_comment, workflow_call | on-approval |
| Preview Documentation | pull_request, workflow_call | deploy, teardown |
| Project Board Automation | issues, pull_request, push, schedule, workflow_dispatch, workflow_call | automate-project |
| Release | push, workflow_call, workflow_dispatch | release |
| Report Pipeline Failure | workflow_run, workflow_call | report |
| Update Submodules | schedule, workflow_dispatch, workflow_call | update |
| Verify Bound Issue | pull_request, workflow_dispatch, workflow_call | verify-bound-issue |
13 workflows configured.