Skip to content

Actions: RemyDegenne/mathlib4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #472: completed by RemyDegenne
1s
1s
review: names continuous integration #472: Commit c31be1e pushed by RemyDegenne
1s RD_portmanteau
RD_portmanteau
1s
review: names Run pre-commit and in-place update PR on push #215: Commit c31be1e pushed by RemyDegenne
32s RD_portmanteau
RD_portmanteau
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #471: completed by RemyDegenne
1s
1s
Merge branch 'master' into RD_fernique Run pre-commit and in-place update PR on push #214: Commit 70b554e pushed by RemyDegenne
21s RD_fernique
RD_fernique
21s
Merge branch 'master' into RD_fernique continuous integration #471: Commit 70b554e pushed by RemyDegenne
2s RD_fernique
RD_fernique
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #470: completed by RemyDegenne
1s
1s
Merge branch 'master' into RD_tendstoOfTendstoInMeasure continuous integration #470: Commit d172276 pushed by RemyDegenne
2s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
2s
Merge branch 'master' into RD_tendstoOfTendstoInMeasure Run pre-commit and in-place update PR on push #213: Commit d172276 pushed by RemyDegenne
28s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #469: completed by RemyDegenne
1s
1s
fix merge continuous integration #469: Commit 94a4325 pushed by RemyDegenne
3s RD_stopRefactor
RD_stopRefactor
3s
fix merge Run pre-commit and in-place update PR on push #212: Commit 94a4325 pushed by RemyDegenne
23s RD_stopRefactor
RD_stopRefactor
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #468: completed by RemyDegenne
2s
2s
fix Run pre-commit and in-place update PR on push #211: Commit 5fca450 pushed by RemyDegenne
27s RD_stopRefactor
RD_stopRefactor
27s
fix continuous integration #468: Commit 5fca450 pushed by RemyDegenne
1s RD_stopRefactor
RD_stopRefactor
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #467: completed by RemyDegenne
1s
1s
Merge branch 'master' into RD_stopRefactor continuous integration #467: Commit bd41fe3 pushed by RemyDegenne
2s RD_stopRefactor
RD_stopRefactor
2s
Merge branch 'master' into RD_stopRefactor Run pre-commit and in-place update PR on push #210: Commit bd41fe3 pushed by RemyDegenne
23s RD_stopRefactor
RD_stopRefactor
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #466: completed by RemyDegenne
1s
1s
minor golf continuous integration #466: Commit 5e4dd87 pushed by RemyDegenne
1s RD_egorov
RD_egorov
1s
minor golf Run pre-commit and in-place update PR on push #209: Commit 5e4dd87 pushed by RemyDegenne
26s RD_egorov
RD_egorov
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #465: completed by RemyDegenne
1s
1s
use measurable distances continuous integration #465: Commit d2913d5 pushed by RemyDegenne
2s RD_egorov
RD_egorov
2s
use measurable distances Run pre-commit and in-place update PR on push #208: Commit d2913d5 pushed by RemyDegenne
32s RD_egorov
RD_egorov
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #464: completed by RemyDegenne
1s
1s