Skip to content

Actions: kim-em/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
111 workflow runs
111 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
Autolabel PRs Autolabel PRs #36: by kim-em
1s v4.24.1
v4.24.1
1s
Autolabel PRs Autolabel PRs #35: by kim-em
1s v4.25.2
v4.25.2
1s
Autolabel PRs Autolabel PRs #34: by kim-em
1s v4.24.1
v4.24.1
1s
experiment: which omega can be replaced by cutsat? Autolabel PRs #33: Commit c9818a7 pushed by kim-em
1s omega_to_cutsat_2
omega_to_cutsat_2
1s
merge master; still has conflicts Autolabel PRs #32: Commit 574f830 pushed by kim-em
1s hint_tactic_parallel
hint_tactic_parallel
1s
Merge branch 'master' into fix_deprecations Autolabel PRs #31: Commit c12cbe9 pushed by kim-em
1s fix_deprecations
fix_deprecations
1s
Merge branch 'master' into WithBot_refactor Autolabel PRs #30: Commit 29cabbe pushed by kim-em
2s WithBot_refactor
WithBot_refactor
2s
Merge master into replace_tauto branch Autolabel PRs #29: Commit 332dd32 pushed by kim-em
1s replace_tauto
replace_tauto
1s
Merge master into run_tauto_to_grind branch Autolabel PRs #28: Commit e16127b pushed by kim-em
Skipped run_tauto_to_grind
run_tauto_to_grind
Skipped
Merge master into tauto_to_grind_regressions branch Autolabel PRs #27: Commit 1bdc97a pushed by kim-em
1s tauto_to_grind_regressions
tauto_to_grind_regressions
1s
Merge master into rw_merge_linter branch Autolabel PRs #26: Commit 57c7158 pushed by kim-em
1s rw_merge_linter
rw_merge_linter
1s
Autolabel PRs Autolabel PRs #25: by kim-em
Skipped v4.26.0-rc1
v4.26.0-rc1
Skipped
Autolabel PRs Autolabel PRs #24: by kim-em
1s v4.25.0
v4.25.0
1s
Merge branch 'master' into grind_disjoint Autolabel PRs #23: Commit 7180265 pushed by kim-em
1s grind_disjoint
grind_disjoint
1s
Merge branch 'master' into deprecate_int_shift Autolabel PRs #22: Commit 6721c81 pushed by pechersky
1s deprecate_int_shift
deprecate_int_shift
1s
chore: add grind annotations for homomorphisms Autolabel PRs #21: Commit 3ca13cc pushed by kim-em
1s grind_hom
grind_hom
1s
fix rebase Autolabel PRs #20: Commit ef2b965 pushed by kim-em
1s hammer_measurements
hammer_measurements
1s
experiment: run hammers on Mathlib Autolabel PRs #19: Commit ec8fa47 pushed by kim-em
Skipped hammer_measurements
hammer_measurements
Skipped
chore: cleanup rwMerge tactic analysis linter Autolabel PRs #18: Commit 0c5ad1d pushed by kim-em
1s cleanup_rwMerge
cleanup_rwMerge
1s
experiment: remove unneeded shortcut instances Autolabel PRs #17: Commit 040b913 pushed by kim-em
1s rm_kaehler_instances
rm_kaehler_instances
1s
chore(AlgebraicGeometry): remove unnecessary uses of Hom.base (#30957) Autolabel PRs #16: Commit bd4da70 pushed by linesthatinterlace
2s master
master
2s
Merge branch 'master' into grind_hom Autolabel PRs #15: Commit 1d84a7a pushed by kim-em
1s grind_hom
grind_hom
1s
Merge branch 'master' into flt-units-topology Autolabel PRs #14: Commit a21993a pushed by kim-em
6s flt-units-topology
flt-units-topology
6s
Autolabel PRs Autolabel PRs #13: by kim-em
1s v4.25.0-rc2
v4.25.0-rc2
1s
merge master Autolabel PRs #12: Commit 6860872 pushed by kim-em
1s grind_disjoint
grind_disjoint
1s