Skip to content

Actions: leanprover-community/lean-update

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #208 from leanprover-community/copilot/fix-issue-b… Notification Test #64: Commit e361215 pushed by Seasawher
41s main
main
41s
Merge pull request #208 from leanprover-community/copilot/fix-issue-b… Test #117: Commit e361215 pushed by Seasawher
27s main
main
27s
Truncate issue body to GitHub's 65536 character limit Notification Test #63: Pull request #208 synchronize by Seasawher
42s copilot/fix-issue-body-length
copilot/fix-issue-body-length
42s
Truncate issue body to GitHub's 65536 character limit Test #116: Pull request #208 synchronize by Seasawher
24s copilot/fix-issue-body-length
copilot/fix-issue-body-length
24s
Addressing comment on PR #208 Copilot cloud agent #3: by Copilot AI
2m 18s copilot/fix-issue-body-length
copilot/fix-issue-body-length
2m 18s
Truncate issue body to GitHub's 65536 character limit Test #114: Pull request #208 synchronize by Copilot AI
24s copilot/fix-issue-body-length
copilot/fix-issue-body-length
24s
Truncate issue body to GitHub's 65536 character limit Notification Test #61: Pull request #208 synchronize by Copilot AI
48s copilot/fix-issue-body-length
copilot/fix-issue-body-length
48s
Addressing comment on PR #208 Copilot cloud agent #2: by Copilot AI
1m 28s copilot/fix-issue-body-length
copilot/fix-issue-body-length
1m 28s
Running Copilot cloud agent Copilot cloud agent #1: by Copilot AI
3m 2s copilot/fix-issue-body-length
copilot/fix-issue-body-length
3m 2s
Merge pull request #203 from adamtopaz/getLatest_fix Notification Test #58: Commit 5010048 pushed by Seasawher
41s main
main
41s
Merge pull request #203 from adamtopaz/getLatest_fix Test #111: Commit 5010048 pushed by Seasawher
23s main
main
23s
fix: Fixes comparison of Lean versions. Notification Test #57: Pull request #203 synchronize by adamtopaz
33s adamtopaz:getLatest_fix
adamtopaz:getLatest_fix
33s
fix: Fixes comparison of Lean versions. Test #110: Pull request #203 synchronize by adamtopaz
30s adamtopaz:getLatest_fix
adamtopaz:getLatest_fix
30s
fix: Fixes comparison of Lean versions. Test #109: Pull request #203 opened by adamtopaz
32s adamtopaz:getLatest_fix
adamtopaz:getLatest_fix
32s
fix: Fixes comparison of Lean versions. Notification Test #56: Pull request #203 opened by adamtopaz
42s adamtopaz:getLatest_fix
adamtopaz:getLatest_fix
42s
Merge pull request #196 from leanprover-community/fix-ci Notification Test #55: Commit 5c7721c pushed by Seasawher
57s main
main
57s
Merge pull request #196 from leanprover-community/fix-ci Test #108: Commit 5c7721c pushed by Seasawher
24s main
main
24s
fix github action Test #107: Pull request #196 opened by Seasawher
40s fix-ci
fix-ci
40s
fix github action Notification Test #54: Pull request #196 opened by Seasawher
47s fix-ci
fix-ci
47s
Merge pull request #189 from leanprover-community/remove-doc2 Notification Test #53: Commit 7b7ea6d pushed by Seasawher
42s main
main
42s
Merge pull request #189 from leanprover-community/remove-doc2 Test #106: Commit 7b7ea6d pushed by Seasawher
28s main
main
28s
remove #bat Test #105: Pull request #189 synchronize by Seasawher
27s remove-doc2
remove-doc2
27s
remove #bat Notification Test #52: Pull request #189 synchronize by Seasawher
43s remove-doc2
remove-doc2
43s
remove #bat Notification Test #51: Pull request #189 opened by Seasawher
29s remove-doc2
remove-doc2
29s
remove #bat Test #104: Pull request #189 opened by Seasawher
31s remove-doc2
remove-doc2
31s