Skip to content

Actions: pfaffelh/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
16 workflow runs
16 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 remote-tracking branch 'upstream/master' into pfaffelh_list Autolabel PRs #16: Commit d5742f1 pushed by pfaffelh
1s pfaffelh_list
pfaffelh_list
1s
Merge remote-tracking branch 'upstream/master' Autolabel PRs #15: Commit c5c0f32 pushed by pfaffelh
Skipped master
master
Skipped
run mk_all Autolabel PRs #14: Commit f38c59a pushed by pfaffelh
1s pfaffelh_MF0
pfaffelh_MF0
1s
Merge remote-tracking branch 'origin/master' into pfaffelh_dissipate Autolabel PRs #13: Commit b7e1d52 pushed by joneugster
2s pfaffelh_dissipate
pfaffelh_dissipate
2s
deleted a line Autolabel PRs #12: Commit 21ac86e pushed by pfaffelh
Skipped pfaffelh_list
pfaffelh_list
Skipped
Merge remote-tracking branch 'upstream' into pfaffelh_list Autolabel PRs #11: Commit 925f684 pushed by pfaffelh
1s pfaffelh_list
pfaffelh_list
1s
added toMeasure' Autolabel PRs #10: Commit 8035a17 pushed by pfaffelh
1s pfaffelh_MF0
pfaffelh_MF0
1s
Update Mathlib.lean Autolabel PRs #9: Commit 2a48ffd pushed by pfaffelh
1s pfaffelh_compactSystem
pfaffelh_compactSystem
1s
chore: run the new shake tool (#32731) Autolabel PRs #8: Commit b8e3880 pushed by pfaffelh
1s master
master
1s
corrected? Autolabel PRs #7: Commit 1a140f9 pushed by pfaffelh
1s pfaffelh_Ring
pfaffelh_Ring
1s
compiles Autolabel PRs #6: Commit f58cc10 pushed by pfaffelh
1s pfaffelh_compactSystem3
pfaffelh_compactSystem3
1s
changed deprecated Autolabel PRs #5: Commit 684cf3d pushed by pfaffelh
1s pfaffelh_compactSystem2
pfaffelh_compactSystem2
1s
mk_all Autolabel PRs #4: Commit e94c743 pushed by pfaffelh
1s pfaffelh_compactSystem
pfaffelh_compactSystem
1s
chore(AlgebraicGeometry): change definition of Zariski topology (#28603) Autolabel PRs #3: Commit 0436d52 pushed by pfaffelh
2s pfaffelh_SemiringPi
pfaffelh_SemiringPi
2s
corrected typo Autolabel PRs #2: Commit a6e9d18 pushed by pfaffelh
1s pfaffelh_gram
pfaffelh_gram
1s
chore(*): process elementwise porting notes (#28403) Autolabel PRs #1: Commit aca000b pushed by pfaffelh
1s master
master
1s