Skip to content

Actions: ybenmeur/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 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
commit Run pre-commit and in-place update PR on push #6: Commit 8564d82 pushed by ybenmeur
33s essSmallFGMod_ring
essSmallFGMod_ring
33s
last fixes Run pre-commit and in-place update PR on push #5: Commit 64b538d pushed by ybenmeur
27s expchar_subsingleton
expchar_subsingleton
27s
more Run pre-commit and in-place update PR on push #4: Commit 638cbaf pushed by ybenmeur
28s expchar_subsingleton
expchar_subsingleton
28s
more fixes Run pre-commit and in-place update PR on push #3: Commit 0ec392e pushed by ybenmeur
21s expchar_subsingleton
expchar_subsingleton
21s
fixes Run pre-commit and in-place update PR on push #2: Commit 0548865 pushed by ybenmeur
28s expchar_subsingleton
expchar_subsingleton
28s
add subsingleton case to ExpChar Run pre-commit and in-place update PR on push #1: Commit 453d5cc pushed by ybenmeur
28s expchar_subsingleton
expchar_subsingleton
28s