Skip to content

Actions: JonBannon/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
4 workflow runs
4 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
Update Mathlib/Topology/Algebra/Module/WeakDual.lean Autolabel PRs #4: Commit a9d48f8 pushed by JonBannon
2s Revert-polar,-polar_def-and-isClosed_polar
Revert-polar,-polar_def-and-isClosed_polar
2s
chore(CategoryTheory): dsimp the apply lemmas in the monoidal structu… Autolabel PRs #3: Commit cebb20d pushed by JonBannon
3s master
master
3s
Merge branch 'master' into MemLp_Const Autolabel PRs #2: Commit ebb9d29 pushed by JonBannon
1s MemLp_Const
MemLp_Const
1s
chore(LinearAlgebra/Dual/Defs): generalize Module.Dual to use `Semi… Autolabel PRs #1: Commit 023a18d pushed by JonBannon
2s master
master
2s