Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Export workflow telemetry Export workflow telemetry #51221: completed by wwylele
8s
8s
Declarations diff (post-build) Declarations diff (post-build) #6802: completed by wwylele
48s
48s
Zulip emoji CI status Zulip emoji CI status #85848: completed by wwylele
17s
17s
Export workflow telemetry Export workflow telemetry #51220: completed by b-mehta
10s
10s
Zulip emoji CI status Zulip emoji CI status #85847: completed by b-mehta
7s
7s
Declarations diff (post-build) Declarations diff (post-build) #6801: completed by b-mehta
1s
1s
Update Mathlib Dependencies Update Mathlib Dependencies #17452: Scheduled
1m 17s master
master
1m 17s
Commit Verification (workflow_run) Commit Verification (workflow_run) #25929: completed by b-mehta
9s
9s
feat(Analysis): strengthen bounds for sin lint and suggest #187770: Pull request #41094 synchronize by b-mehta
2m 27s b-mehta:better-sin-bounds
b-mehta:better-sin-bounds
2m 27s
feat(Analysis): strengthen bounds for sin Commit Verification #46839: Pull request #41094 synchronize by b-mehta
42s b-mehta:better-sin-bounds
b-mehta:better-sin-bounds
42s
feat(Analysis): strengthen bounds for sin Run pre-commit and in-place update PR on push #77381: Pull request #41094 synchronize by b-mehta
20s b-mehta:better-sin-bounds
b-mehta:better-sin-bounds
20s
Zulip emoji CI status Zulip emoji CI status #85846: requested by b-mehta
16s
16s
feat(Analysis): strengthen bounds for sin continuous integration (mathlib forks) #308412: Pull request #41094 synchronize by b-mehta
In progress
In progress
feat(Analysis): strengthen bounds for sin Post PR summary comment #164519: Pull request #41094 synchronize by b-mehta
1m 33s
1m 33s
chore: use NeBot in left and right limits .github/workflows/zulip_emoji_labelling.yaml #64658: Pull request #41079 labeled by mathlib-bors Bot
8s
8s
chore: use NeBot in left and right limits (#41079) continuous integration (staging) #24564: Commit 0ee7df2 pushed by mathlib-bors Bot
In progress staging
staging
In progress
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187108: completed by b-mehta
18s
18s
chore: use NeBot in left and right limits .github/workflows/zulip_emoji_labelling.yaml #64657: Pull request #41079 labeled by mathlib-bors Bot
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200246: completed by b-mehta
1s
1s
chore: use NeBot in left and right limits bot fix style #245690: Pull request #41079 submitted by b-mehta
9s
9s
chore: use NeBot in left and right limits Maintainer merge #294390: Pull request #41079 submitted by b-mehta
1s
1s
chore: use NeBot in left and right limits Label PR based on Comment #193485: Pull request #41079 submitted by b-mehta
6s
6s
chore: use NeBot in left and right limits Bors merge/delegate follow-up #270787: Pull request #41079 submitted by b-mehta
7s
7s
Commit Verification (workflow_run) Commit Verification (workflow_run) #25928: completed by b-mehta
10s
10s
feat(InfiniteSum): zero function has product zero .github/workflows/zulip_emoji_labelling.yaml #64656: Pull request #39855 labeled by b-mehta
10s
10s