Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,529,872 workflow runs
1,529,872 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(Order/Defs/Unbundled): deprecate IsIrrefl in favor of core's Std.Irrefl .github/workflows/zulip_emoji_labelling.yaml #35653: Pull request #33717 labeled by leanprover-community-mathlib4-bot
1s
1s
chore(Order/Defs/Unbundled): deprecate IsIrrefl in favor of core's … continuous integration (staging) #20810: Commit 98379c7 pushed by mathlib-bors bot
In progress staging
staging
In progress
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90973: completed by jcommelin
17s
17s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #96714: completed by jcommelin
Skipped
Skipped
chore(Order/Defs/Unbundled): deprecate IsIrrefl in favor of core's Std.Irrefl bot fix style #141643: Pull request #33717 submitted by jcommelin
11s
11s
chore(Order/Defs/Unbundled): deprecate IsIrrefl in favor of core's Std.Irrefl Add "ready-to-merge" and "delegated" label #174150: Pull request #33717 submitted by jcommelin
7s
7s
chore(Order/Defs/Unbundled): deprecate IsIrrefl in favor of core's Std.Irrefl Maintainer merge #190333: Pull request #33717 submitted by jcommelin
1s
1s
fix(Tactic/Widget/Conv): fix various issues .github/workflows/zulip_emoji_labelling.yaml #35652: Pull request #25889 labeled by thorimur
14s
14s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90972: completed by thorimur
10s
10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90971: completed by thorimur
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90970: completed by thorimur
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90969: completed by thorimur
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90968: completed by thorimur
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90967: completed by thorimur
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90966: completed by thorimur
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90965: completed by thorimur
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90964: completed by thorimur
10s
10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90963: completed by thorimur
9s
9s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #96713: completed by thorimur
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90962: completed by thorimur
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90961: completed by thorimur
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90960: completed by thorimur
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90959: completed by thorimur
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90958: completed by thorimur
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #90957: completed by thorimur
12s
12s