Skip to content

Actions: ybenmeur/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by ybenmeur
11s
11s
commit continuous integration #8: Commit 8564d82 pushed by ybenmeur
1s essSmallFGMod_ring
essSmallFGMod_ring
1s
commit Autolabel PRs #3: Commit 8564d82 pushed by ybenmeur
1s essSmallFGMod_ring
essSmallFGMod_ring
1s
commit Run pre-commit and in-place update PR on push #6: Commit 8564d82 pushed by ybenmeur
33s essSmallFGMod_ring
essSmallFGMod_ring
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by ybenmeur
1s
1s
last fixes Run pre-commit and in-place update PR on push #5: Commit 64b538d pushed by ybenmeur
27s expchar_subsingleton
expchar_subsingleton
27s
last fixes continuous integration #7: Commit 64b538d pushed by ybenmeur
1s expchar_subsingleton
expchar_subsingleton
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by ybenmeur
1s
1s
more Run pre-commit and in-place update PR on push #4: Commit 638cbaf pushed by ybenmeur
28s expchar_subsingleton
expchar_subsingleton
28s
more continuous integration #6: Commit 638cbaf pushed by ybenmeur
1s expchar_subsingleton
expchar_subsingleton
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by ybenmeur
1s
1s
more fixes Run pre-commit and in-place update PR on push #3: Commit 0ec392e pushed by ybenmeur
21s expchar_subsingleton
expchar_subsingleton
21s
more fixes continuous integration #5: Commit 0ec392e pushed by ybenmeur
Skipped expchar_subsingleton
expchar_subsingleton
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by ybenmeur
Skipped
Skipped
fixes continuous integration #4: Commit 0548865 pushed by ybenmeur
1s expchar_subsingleton
expchar_subsingleton
1s
fixes Run pre-commit and in-place update PR on push #2: Commit 0548865 pushed by ybenmeur
28s expchar_subsingleton
expchar_subsingleton
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by ybenmeur
1s
1s
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
add subsingleton case to ExpChar Autolabel PRs #2: Commit 453d5cc pushed by ybenmeur
1s expchar_subsingleton
expchar_subsingleton
1s
add subsingleton case to ExpChar continuous integration #3: Commit 453d5cc pushed by ybenmeur
1s expchar_subsingleton
expchar_subsingleton
1s