Skip to content

Actions: RemyDegenne/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,174 workflow runs
1,174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into coveringNumbers continuous integration #11: Commit 71b4041 pushed by RemyDegenne
2s coveringNumbers
coveringNumbers
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by RemyDegenne
1s
1s
Merge branch 'master' into coveringNumbers continuous integration #10: Commit a98170a pushed by RemyDegenne
1s coveringNumbers
coveringNumbers
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by RemyDegenne
1s
1s
Merge branch 'master' into coveringNumbers continuous integration #9: Commit d7f4586 pushed by RemyDegenne
1s coveringNumbers
coveringNumbers
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by RemyDegenne
1s
1s
Merge branch 'master' into coveringNumbers continuous integration #8: Commit 971c33b pushed by RemyDegenne
1s coveringNumbers
coveringNumbers
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by RemyDegenne
Skipped
Skipped
covering numbers continuous integration #7: Commit 455ee2b pushed by RemyDegenne
2s coveringNumbers
coveringNumbers
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by RemyDegenne
1s
1s
fix deprecation continuous integration #6: Commit 283a013 pushed by RemyDegenne
3s RD_fernique
RD_fernique
3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by RemyDegenne
1s
1s
Merge branch 'master' into RD_fernique continuous integration #5: Commit e30e601 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by RemyDegenne
1s
1s
add 1000 thms entry continuous integration #4: Commit 4f93bdb pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by RemyDegenne
Skipped
Skipped
Merge remote-tracking branch 'origin/master' into RD_tight_cf Autolabel PRs #3: Commit 48ad391 pushed by RemyDegenne
1s RD_tight_cf
RD_tight_cf
1s
Merge remote-tracking branch 'origin/master' into RD_tight_cf continuous integration #3: Commit 48ad391 pushed by RemyDegenne
1s RD_tight_cf
RD_tight_cf
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by RemyDegenne
1s
1s
Merge remote-tracking branch 'origin/master' into RD_tight_limsup continuous integration #2: Commit 4dd21dc pushed by RemyDegenne
1s RD_tight_limsup
RD_tight_limsup
1s
Merge remote-tracking branch 'origin/master' into RD_tight_limsup Autolabel PRs #2: Commit 4dd21dc pushed by RemyDegenne
1s RD_tight_limsup
RD_tight_limsup
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by RemyDegenne
2s
2s
Merge remote-tracking branch 'origin/master' into RD_fernique continuous integration #1: Commit 23f2fb9 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
Merge remote-tracking branch 'origin/master' into RD_fernique Autolabel PRs #1: Commit 23f2fb9 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
ProTip! You can narrow down the results and go further in time using created:<2025-06-23 or the other filters available.