Skip to content

Actions: uw-math-ai/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
Merge branch 'vasil/grid-helpers' into vasil/euler-method Autolabel PRs #4: Commit 2566e10 pushed by Vilin97
2s vasil/euler-method
vasil/euler-method
2s
Merge branch 'leanprover-community:master' into bryan/monogenic-exten… Autolabel PRs #3: Commit 9ad2127 pushed by bryanboehnke
1s bryan/monogenic-extensions
bryan/monogenic-extensions
1s
Merge branch 'master' into vasil/grid-helpers Autolabel PRs #2: Commit 0d51450 pushed by Vilin97
1s vasil/grid-helpers
vasil/grid-helpers
1s
feat(Topology/Algebra/Module/ClosedSubmodule): add mapEquiv, a vari… Autolabel PRs #1: Commit e318a59 pushed by Vilin97
1s master
master
1s