Skip to content

Actions: LionSR/TNLean

Actions

Copilot cloud agent

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
29 workflow runs
29 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Addressing comment on PR #2259 Copilot cloud agent #29: by Copilot AI
1m 18s feat/clarify-canonical-chapter
feat/clarify-canonical-chapter
1m 18s
Addressing comment on PR #1533 Copilot cloud agent #28: by Copilot AI
6m 22s ci/sync-cross-repo
ci/sync-cross-repo
6m 22s
Addressing comment on PR #1538 Copilot cloud agent #27: by Copilot AI
5m 48s gpt55/issue-1536-sector-comparison-label-prefix
gpt55/issue-1536-sector-comparison-label-prefix
5m 48s
Addressing comment on PR #1029 Copilot cloud agent #26: by Copilot AI
3m 6s issue1025-language-rename-policy
issue1025-language-rename-policy
3m 6s
Addressing comment on PR #1007 Copilot cloud agent #25: by Copilot AI
17m 35s codex/issue-classification-workflows
codex/issue-classification-workflows
17m 35s
Addressing comment on PR #1028 Copilot cloud agent #24: by Copilot AI
12m 3s codex/math-language-followups
codex/math-language-followups
12m 3s
Addressing comment on PR #1028 Copilot cloud agent #23: by Copilot AI
5s codex/math-language-followups
codex/math-language-followups
5s
Addressing comment on PR #838 Copilot cloud agent #22: by Copilot AI
5m 0s feat/828-multi-block-overlap-v2
feat/828-multi-block-overlap-v2
5m 0s
Addressing comment on PR #948 Copilot cloud agent #21: by Copilot AI
4m 5s wave17-E-905-selector-routeB
wave17-E-905-selector-routeB
4m 5s
Addressing comment on PR #899 Copilot cloud agent #20: by Copilot AI
5m 6s wave12-E-870
wave12-E-870
5m 6s
Addressing comment on PR #878 Copilot cloud agent #19: by Copilot AI
4m 3s claude/issue-759-blueprintmpdo-rewrite-bicf-remark-without
claude/issue-759-blueprintmpdo-rewrite-bicf-remark-without
4m 3s
Addressing comment on PR #851 Copilot cloud agent #18: by Copilot AI
2m 55s feat/823-commuting-form-bridge-v2
feat/823-commuting-form-bridge-v2
2m 55s
Addressing comment on PR #813 Copilot cloud agent #17: by Copilot AI
7m 30s feat/587-propblockinj-derive
feat/587-propblockinj-derive
7m 30s
Addressing comment on PR #896 Copilot cloud agent #16: by Copilot AI
8m 27s wave12-C-590
wave12-C-590
8m 27s
Addressing comment on PR #880 Copilot cloud agent #15: by Copilot AI
3m 14s claude/issue-866-cibadges-invoke-writebadgespy-in-full-docs
claude/issue-866-cibadges-invoke-writebadgespy-in-full-docs
3m 14s
Addressing comment on PR #854 Copilot cloud agent #14: by Copilot AI
4m 0s claude/issue-766-formalizationwolf-ch2-lorentz-normal-form
claude/issue-766-formalizationwolf-ch2-lorentz-normal-form
4m 0s
Addressing comment on PR #715 Copilot cloud agent #13: by Copilot AI
4m 4s feat/239-entropy-infrastructure
feat/239-entropy-infrastructure
4m 4s
Addressing comment on PR #715 Copilot cloud agent #12: by Copilot AI
6m 39s feat/239-entropy-infrastructure
feat/239-entropy-infrastructure
6m 39s
Addressing comment on PR #717 Copilot cloud agent #11: by Copilot AI
2m 48s feat/703-suffix-window-groundspace-extend
feat/703-suffix-window-groundspace-extend
2m 48s
Addressing comment on PR #712 Copilot cloud agent #10: by Copilot AI
10m 56s claude/issue-708-move-gemmas-result-out-of
claude/issue-708-move-gemmas-result-out-of
10m 56s
Addressing comment on PR #717 Copilot cloud agent #9: by Copilot AI
8m 35s feat/703-suffix-window-groundspace-extend
feat/703-suffix-window-groundspace-extend
8m 35s
Addressing comment on PR #720 Copilot cloud agent #8: by Copilot AI
31m 28s docs/709-scout-eliminate-jargons
docs/709-scout-eliminate-jargons
31m 28s
Running Copilot coding agent Copilot cloud agent #7: by Copilot AI
9m 14s copilot/audit-full-canonical-form-reduction
copilot/audit-full-canonical-form-reduction
9m 14s
Addressing comment on PR #316 Copilot cloud agent #6: by Copilot AI
1m 22s codex/refactor-blueprint-to-remove-lean-jargon
codex/refactor-blueprint-to-remove-lean-jargon
1m 22s
Addressing comment on PR #230 Copilot cloud agent #5: by Copilot AI
2m 42s fix/blueprint-labels-docgen
fix/blueprint-labels-docgen
2m 42s